blob: c88c766313671fb95e07a7a3e9d16c29ea0e57fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// check-pass
// Before RFC 2532, normalizing a defaulted assoc. type didn't work at all,
// unless the impl in question overrides that type, which makes the default
// pointless.
#![feature(associated_type_defaults)]
trait Tr {
type Assoc = ();
}
impl Tr for () {}
fn f(thing: <() as Tr>::Assoc) {
let c: () = thing;
}
fn main() {}
|