blob: 9a40f3d9b64ead7c88db041a16a4021f2e9aeb4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait Bug {
type Item: Bug;
const FUN: fn() -> Self::Item;
}
impl Bug for &() {
type Item = impl Bug; //~ ERROR `impl Trait` in type aliases is unstable
const FUN: fn() -> Self::Item = || ();
//~^ ERROR the trait bound `(): Bug` is not satisfied
}
fn main() {}
|