summaryrefslogtreecommitdiffstats
path: root/tests/ui/type-alias-impl-trait/issue-60371.rs
blob: a6173967333c0511b82ea4789d5f9a46b2d0f3ce (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 associated types is unstable

    const FUN: fn() -> Self::Item = || ();
    //~^ ERROR the trait bound `(): Bug` is not satisfied
}

fn main() {}