Safe traits should not have unsafe implementations, therefore marking an implementation for a safe trait unsafe will cause a compiler error. Removing the unsafe marker on the trait noted in the error will resolve this problem. ```compile_fail,E0199 struct Foo; trait Bar { } // this won't compile because Bar is safe unsafe impl Bar for Foo { } // this will compile impl Bar for Foo { } ```