src/test/ui/type-alias-impl-trait/bounds-are-checked-2.rs

   1 // Make sure that we check that impl trait types implement the traits that they
   2 // claim to.
   3
   4 // revisions: min_tait full_tait
   5 #![feature(min_type_alias_impl_trait)]
   6 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   7 //[full_tait]~^ WARN incomplete
   8
   9 type X<T> = impl Clone;
  10 //~^ ERROR the trait bound `T: Clone` is not satisfied
  11
  12 fn f<T: Clone>(t: T) -> X<T> {
  13     t
  14 }
  15
  16 fn g<T>(o: Option<X<T>>) -> Option<X<T>> {
  17     o.clone()
  18 }
  19
  20 fn main() {
  21     g(None::<X<&mut ()>>);
  22 }