diff --git a/miri/lib.rs b/miri/lib.rs index 739ccfbf76..b1c75eb462 100644 --- a/miri/lib.rs +++ b/miri/lib.rs @@ -1,7 +1,6 @@ #![feature( i128_type, rustc_private, - conservative_impl_trait, catch_expr, )]