// run-rustfix
trait TraitWithAType {
    type Item: ?Sized;
}
trait Trait {}
struct A {}
impl TraitWithAType for A {
    type Item = dyn Trait; //~ ERROR E0277
}
fn main() {}