src/test/ui/associated-types/issue-65934.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// check-pass

trait Trait {
    type Assoc;
}

impl Trait for () {
    type Assoc = ();
}

fn unit() -> impl Into<<() as Trait>::Assoc> {}

pub fn ice() {
    Into::into(unit());
}

fn main() {}