tests/ui/const-generics/generic_const_exprs/mismatched-gat-subst-kind.rs


1
2
3
4
5
6
7
8
9
10
11

#![feature(generic_const_exprs)]
//~^ WARN the feature `generic_const_exprs` is incomplete

trait B {
    type U<T>;
}

fn f<T: B<U<1i32> = ()>>() {}
//~^ ERROR constant provided when a type was expected

fn main() {}