blob: e17b11c5eae1c0fa9da921c8b8b358db1c81c5cd (
plain)
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() {}
|