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

   1 // build-pass (FIXME(62277): could be check-pass?)
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 fn main() {}
   6
   7 // two definitions with different types
   8 type Foo = impl std::fmt::Debug;
   9
  10 fn foo() -> Foo {
  11     ""
  12 }
  13
  14 fn bar(arg: bool) -> Foo {
  15     if arg {
  16         panic!()
  17     } else {
  18         "bar"
  19     }
  20 }
  21
  22 fn boo(arg: bool) -> Foo {
  23     if arg {
  24         loop {}
  25     } else {
  26         "boo"
  27     }
  28 }
  29
  30 fn bar2(arg: bool) -> Foo {
  31     if arg {
  32         "bar2"
  33     } else {
  34         panic!()
  35     }
  36 }
  37
  38 fn boo2(arg: bool) -> Foo {
  39     if arg {
  40         "boo2"
  41     } else {
  42         loop {}
  43     }
  44 }