Rollup merge of #72497 - RalfJung:tag-term, r=oli-obk

[rust.git] / src / test / ui / error-codes / E0433.rs

fn main () {
    let map = NonExistingMap::new(); //~ ERROR E0433
}