//@ check-pass
// Regression test for #15477. This test just needs to compile.
trait Chromosome<X: Chromosome<i32>> {
}
impl Chromosome<i32> for i32 { }
fn main() { }