blob: 072a699a6b5b9c1ede87005aa2431a6bdfbbcff2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait Trait<const N: dyn Trait = bar> {
//~^ ERROR cannot find value `bar` in this scope
//~| ERROR cycle detected when computing type of `Trait::N`
fn fnc<const N: dyn Trait = u32>(&self) -> dyn Trait {
//~^ ERROR the name `N` is already used for a generic parameter in this item's generic parameters
//~| ERROR expected value, found builtin type `u32`
//~| ERROR defaults for generic parameters are not allowed here
bar
//~^ ERROR cannot find value `bar` in this scope
}
}
fn main() {}
|
