blob: cf84bf3ee3559224cb3c632f467a1c8f652fb9e6 [file] [log] [blame] [edit]
#![feature(where_clause_attrs, lazy_type_alias)]
#![expect(incomplete_features)]
struct Foo;
trait Trait {}
impl Trait for Foo {}
type MixedWhereBounds1
where
//~^ ERROR: where clauses are not allowed before the type for type aliases
#[cfg(true)]
Foo: Trait,
= Foo
where
(): Sized;
type MixedWhereBounds2
where
//~^ ERROR: where clauses are not allowed before the type for type aliases
#[cfg(false)]
Foo: Trait,
= Foo
where
(): Sized;
fn main() {}