fn main() {
is_my_trait::<ThisImplsTrait>();
is_my_trait::<ThisImplsUnsafeTrait>();
- //~^ ERROR the trait `MyTrait` is not implemented for the type `ThisImplsUnsafeTrait`
+ //~^ ERROR `ThisImplsUnsafeTrait: MyTrait` is not satisfied
is_my_unsafe_trait::<ThisImplsTrait>();
- //~^ ERROR the trait `MyUnsafeTrait` is not implemented for the type `ThisImplsTrait`
+ //~^ ERROR `ThisImplsTrait: MyUnsafeTrait` is not satisfied
is_my_unsafe_trait::<ThisImplsUnsafeTrait>();
}