tests/ui/traits/new-solver/tait-eq-proj-2.rs

   1 // compile-flags: -Ztrait-solver=next
   2 // check-pass
   3
   4 #![feature(type_alias_impl_trait)]
   5
   6 // Similar to tests/ui/traits/new-solver/tait-eq-proj.rs
   7 // but check the alias-sub relation in the other direction.
   8
   9 type Tait = impl Iterator<Item = impl Sized>;
  10
  11 fn mk<T>() -> T {
  12     todo!()
  13 }
  14
  15 fn a(_: Tait) {
  16     let x: Tait = mk();
  17     let mut array = mk();
  18     let mut z = IntoIterator::into_iter(array);
  19     z = x;
  20     array = [0i32; 32];
  21 }
  22
  23 fn main() {}