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