Remove references to @Trait from a compiler error message