tests/src/mutually-recursive-traits.rs


1
2
3
4
5
6
7
8
9
10
11

//@ [lean] known-failure
//@ [coq,fstar] skip
//@ subdir=misc
pub trait Trait1 {
    type T: Trait2;
}

pub trait Trait2: Trait1 {}

pub trait T1<T: T2<Self>>: Sized {}
pub trait T2<T: T1<Self>>: Sized {}