diff options
Diffstat (limited to 'tests/src/mutually-recursive-traits.rs')
| -rw-r--r-- | tests/src/mutually-recursive-traits.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/src/mutually-recursive-traits.rs b/tests/src/mutually-recursive-traits.rs index 351763b2..9bc4ca63 100644 --- a/tests/src/mutually-recursive-traits.rs +++ b/tests/src/mutually-recursive-traits.rs @@ -1,6 +1,6 @@ //@ [lean] known-failure -//@ [coq,fstar] skip -//@ subdir=misc +//@ [!lean] skip +//@ [lean] subdir=misc pub trait Trait1 { type T: Trait2; } |