src/test/ui/fully-qualified-type/fully-qualified-type-name3.rs

   1 // Test that we use fully-qualified type names in error messages.
   2
   3 // ignore-test
   4
   5 type T1 = usize;
   6 type T2 = isize;
   7
   8 fn bar(x: T1) -> T2 {
   9     return x;
  10     //~^ ERROR mismatched types: expected `T2`, found `T1`
  11 }
  12
  13 fn main() {
  14 }