-// revisions: old re
-
-#![cfg_attr(re, feature(re_rebalance_coherence))]
#![feature(optin_builtin_traits)]
auto trait MySafeTrait {}
struct Foo;
unsafe impl MySafeTrait for Foo {}
-//[old]~^ ERROR implementing the trait `MySafeTrait` is not unsafe
-//[re]~^^ ERROR E0199
+//~^ ERROR E0199
unsafe auto trait MyUnsafeTrait {}
impl MyUnsafeTrait for Foo {}
-//[old]~^ ERROR the trait `MyUnsafeTrait` requires an `unsafe impl` declaration
-//[re]~^^ ERROR E0200
+//~^ ERROR E0200
fn main() {}