type_name ICE

[quininer]

struct Bar<M>(M);

impl<M> Bar<M> {
    fn foo(&self) {
        fn f() {}
        fn type_name_of<T>(_: T) -> &'static str {
            unsafe { type_name::<T>() }
        }
        type_name_of(f);
    }
}

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=c27b41def12af0276d04e418f0e50b07

I believe this happened after #60166.

[pnkfelix]

triage: P-high because it blocks presumed stabilization of type_name (#60066). Removing nomination tag.

[eddyb]

@oli-obk you can have parameterization in scope that's not part of monomorphization (like the M above).
For name mangling (with the new scheme) we produce something that demangles to _ in that case.
We could use _ in this case too.

[eddyb]

I'm working on a fix that uses _.