mirror of https://github.com/rust-lang/rust
21 lines
481 B
Rust
21 lines
481 B
Rust
#![feature(impl_trait_in_assoc_type)]
|
|
|
|
pub trait Bar {
|
|
type E: Copy;
|
|
|
|
fn foo<T>() -> Self::E;
|
|
}
|
|
|
|
impl<S: Default> Bar for S {
|
|
type E = impl Copy;
|
|
|
|
fn foo<T: Default>() -> Self::E {
|
|
//~^ ERROR impl has stricter requirements than trait
|
|
//~| ERROR the trait bound `S: Copy` is not satisfied in `(S, T)` [E0277]
|
|
//~| ERROR the trait bound `T: Copy` is not satisfied in `(S, T)` [E0277]
|
|
(S::default(), T::default())
|
|
}
|
|
}
|
|
|
|
fn main() {}
|