-A method was implemented on a primitive type.
+A method or constant was implemented on a primitive type.
Erroneous code example:
// `#[lang = "mut_ptr"]` is allowed for the `*mut T` primitive
```
-This isn't allowed, but using a trait to implement a method is a good solution.
+This isn't allowed, but using a trait to implement a method or constant
+is a good solution.
Example:
```