fn main() {
  let None: isize = 42; //~ ERROR mismatched types
}