src/test/ui/type-alias-impl-trait/constrain_inputs.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 mod foo {
   6     type Ty<'a> = impl Sized;
   7     fn defining(s: &str) -> Ty<'_> { s }
   8     fn execute(ty: Ty<'_>) -> &str { todo!() }
   9 }
  10
  11 mod bar {
  12     type Ty<'a> = impl FnOnce() -> &'a str;
  13     fn defining(s: &str) -> Ty<'_> { move || s }
  14     fn execute(ty: Ty<'_>) -> &str { ty() }
  15 }
  16
  17 fn main() {}