// 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 {}