mirror of https://github.com/rust-lang/rust
28 lines
355 B
Rust
28 lines
355 B
Rust
//@ check-pass
|
|
|
|
#![feature(impl_trait_in_assoc_type)]
|
|
|
|
fn main() {}
|
|
|
|
trait Bar {
|
|
type Assoc;
|
|
}
|
|
|
|
trait Thing {
|
|
type Out;
|
|
fn func() -> Self::Out;
|
|
}
|
|
|
|
struct AssocIsCopy;
|
|
impl Bar for AssocIsCopy {
|
|
type Assoc = u8;
|
|
}
|
|
|
|
impl Thing for AssocIsCopy {
|
|
type Out = impl Bar<Assoc: Copy>;
|
|
|
|
fn func() -> Self::Out {
|
|
AssocIsCopy
|
|
}
|
|
}
|