fn map(x: Option>) -> Option> { match x { None => None, Some(x) => Some(x), } } fn main() { map(None); } // EMIT_MIR rustc.map.SimplifyLocals.diff