summaryrefslogtreecommitdiff
path: root/tests/src/mutually-recursive-traits.rs
blob: 351763b2ea1578efa991f58ee7cf12a1e31d902a (plain)
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 {}