blob: 734a37862940f05badaae18ecfb6232f24b8258d (
plain)
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() {}
|