blob: 979b5f7659600c4b726c9934cf546f2e97f57bec [file] [log] [blame]
//@ check-pass
fn main() {}
#[cfg(false)]
impl X {
type Y;
type Z: Ord;
type W: Ord where Self: Eq;
type W where Self: Eq;
}