tests/ui/type-alias-impl-trait/auto-trait-leakage.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4 #![allow(dead_code)]
   5
   6 mod m {
   7     type Foo = impl std::fmt::Debug;
   8
   9     pub fn foo() -> Foo {
  10         22_u32
  11     }
  12 }
  13
  14 fn is_send<T: Send>(_: T) {}
  15
  16 fn main() {
  17     is_send(m::foo());
  18 }