blob: 6c62415e06d5618308ea394975e3cf90b8e72516 [file] [log] [blame] [edit]
// We used to ICE here while trying to synthesize auto trait impls.
// issue: 112828
struct Outer(Inner);
struct Inner;
unsafe impl<Q: Trait> Send for Inner {}
//~^ ERROR the type parameter `Q` is not constrained by the impl trait, self type, or predicates
trait Trait {}