//@ revisions: real pre_expansion
//@[pre_expansion] check-pass
//@ edition: 2021

#[cfg(real)]
trait Foo: use<> {
    //[real]~^ ERROR `use<...>` precise capturing syntax not allowed
    type Assoc: use<> where (): use<>;
    //[real]~^ ERROR `use<...>` precise capturing syntax not allowed
    //[real]~| ERROR `use<...>` precise capturing syntax not allowed
}

#[cfg(real)]
fn fun<T: use<>>(_: impl use<>) where (): use<> {}
//[real]~^ ERROR `use<...>` precise capturing syntax not allowed
//[real]~| ERROR `use<...>` precise capturing syntax not allowed
//[real]~| ERROR `use<...>` precise capturing syntax not allowed
//[real]~| ERROR at least one trait must be specified

#[cfg(real)]
fn dynamic() -> Box<dyn use<>> {}
//[real]~^ ERROR `use<...>` precise capturing syntax not allowed in `dyn` trait object bounds
//[real]~| ERROR at least one trait is required for an object type [E0224]

fn main() {}