// Test that we use fully-qualified type names in error messages. fn main() { let x: //~ NOTE expected due to the type of this binding Option; //~ NOTE expected due to this type x = 5; //~^ ERROR mismatched types //~| NOTE expected enum `Option` //~| NOTE expected enum `Option`, found integer }