1 2 3 4 5 6 7 8 9 10 11 12
// -*- rust -*- // error-pattern: mismatched types fn main() { type X = int; type Y = X; if (true) { type X = str; let Y y = "hello"; } }