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