//! Test for the crash in #133426, caused by an empty symbol being used for a
//! type name.

#![allow(incomplete_features)]
#![feature(never_patterns)]

fn a(
    _: impl Iterator<
        Item = [(); {
            match *todo!() { ! }; //~ ERROR type `!` cannot be dereferenced
        }],
    >,
) {
}

fn b(_: impl Iterator<Item = { match 0 { ! } }>) {}
//~^ ERROR associated const equality is incomplete
//~| ERROR expected type, found constant

fn main() {}