fn main() {
// FIXME (#22405): Replace `Box::new` with `box` here when/if possible.
let s: Box<Trait<isize>> = Box::new(Struct { person: "Fred" });
- //~^ ERROR the trait `Trait<isize>` is not implemented for the type `Struct`
+ //~^ ERROR `Struct: Trait<isize>` is not satisfied
s.f(1);
}