mirror of https://github.com/rust-lang/rust
20 lines
348 B
Rust
20 lines
348 B
Rust
//@ 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() {}
|