Add some ICEs

[ritikmishra]

• Trait alias: Add trait + dyn causes compiler panic rust#106238
• ICE with generic associated types and HRTBs rust#107409
• ICE: assertion failed: self.scc_universes[scc] == ty::UniverseIndex::ROOT rust#108399
• ICE when equating TAIT and RPIT in canonical queries rust#108498
• ICE due to mapping f32 to same ident with const and let rust#108683
• ICE “unexpected bound ty in binder” involving type binder, Fn-family trait and closure rust#108814
• Failed to normalize closure with TAIT rust#109020

[JohnTitor]

rust-lang/rust#108339 doesn't seem like an ICE issue.

[ritikmishra]

my bad - it was supposed to be rust-lang/rust#108399

[JohnTitor]

Thanks a lot!
Overall LGTM, fixed style and removed one non-ICE issue.

Some tips for next time:

• Format code with rustfmt and add the main function if possible; this work is helpful when we move code to rust-lang/rust's regression tests.
• Check if the issue is already resolved, this can be checked by cargo run