A trait’s definition with type information.
Whether this trait is treated specially by the standard library specialization lint.