// Regression test for the projection bug in <https://github.com/rust-lang/rust/issues/123953>
//
//@ compile-flags: -Zincremental-verify-ich=yes
//@ incremental

pub trait A {}
pub trait B: A {}

pub trait Mirror {
    type Assoc: ?Sized;
}

impl<T: ?Sized> Mirror for A {
    //~^ ERROR the type parameter `T` is not constrained by the impl trait, self type, or predicates [E0207]
    //~| WARN trait objects without an explicit `dyn` are deprecated [bare_trait_objects]
    //~| WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
    type Assoc = T;
}

pub fn foo<'a>(
    x: &'a <dyn A + 'static as Mirror>::Assoc
) -> &'a <dyn B + 'static as Mirror>::Assoc {
    //~^ ERROR the trait bound `(dyn B + 'static): Mirror` is not satisfied [E0277]
    //~| ERROR the trait bound `(dyn B + 'static): Mirror` is not satisfied [E0277]
    static
} //~ ERROR expected identifier, found `}`

pub fn main() {}