src/test/ui/existential_types/different_defining_uses_never_type.stderr

   1 error: defining existential type use differs from previous
   2   --> $DIR/different_defining_uses_never_type.rs:12:1
   3    |
   4 LL | / fn bar() -> Foo { //~ ERROR defining existential type use differs from previous
   5 LL | |     panic!()
   6 LL | | }
   7    | |_^
   8    |
   9 note: previous use here
  10   --> $DIR/different_defining_uses_never_type.rs:8:1
  11    |
  12 LL | / fn foo() -> Foo {
  13 LL | |     ""
  14 LL | | }
  15    | |_^
  16
  17 error: defining existential type use differs from previous
  18   --> $DIR/different_defining_uses_never_type.rs:16:1
  19    |
  20 LL | / fn boo() -> Foo { //~ ERROR defining existential type use differs from previous
  21 LL | |     loop {}
  22 LL | | }
  23    | |_^
  24    |
  25 note: previous use here
  26   --> $DIR/different_defining_uses_never_type.rs:8:1
  27    |
  28 LL | / fn foo() -> Foo {
  29 LL | |     ""
  30 LL | | }
  31    | |_^
  32
  33 error: aborting due to 2 previous errors
  34