| 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 const parameters are only allowed in `struct`, `enum`, `type`, or `trait` definitions |
| bar |
| //~^ ERROR cannot find value `bar` in this scope |
| } |
| } |
| |
| fn main() {} |
