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