mirror of https://github.com/rust-lang/rust
20 lines
355 B
Rust
20 lines
355 B
Rust
// Make sure that we check that impl trait types implement the traits that they
|
|
// claim to.
|
|
|
|
#![feature(type_alias_impl_trait)]
|
|
|
|
type X<T> = impl Clone;
|
|
|
|
fn f<T: Clone>(t: T) -> X<T> {
|
|
t
|
|
//~^ ERROR the trait bound `T: Clone` is not satisfied
|
|
}
|
|
|
|
fn g<T>(o: Option<X<T>>) -> Option<X<T>> {
|
|
o.clone()
|
|
}
|
|
|
|
fn main() {
|
|
g(None::<X<&mut ()>>);
|
|
}
|