fn f() {
    a::b;
    <::i32 as Vec<bool>>::MAX;
}