| #![feature(no_core)] | |
| #![no_core] | |
| #![feature(lang_items)] | |
| #[lang = "sized"] | |
| pub trait Sized {} | |
| pub trait A: B {} | |
| // { dg-error "cycle detected when computing the super predicates of .A." "" { target *-*-* } .-1 } | |
| pub trait B: A {} | |
| // { dg-error "cycle detected when computing the super predicates of .B." "" { target *-*-* } .-1 } |