1 // Regression test for issues #84660 and #86411: both are variations on #76202.
2 // Tests that we don't ICE when we have an opaque type appearing anywhere in an impl header.
6 #![feature(type_alias_impl_trait)]
11 fn _defining_use() -> Bar {}
17 impl TraitArg<Bar> for () {
24 <() as TraitArg<Bar>>::f();