Preexisting: These probably needs to be more than just derived. Like "a type with a base characteristic ([meta.rqmts]) of `bool_constant<`_`B`_`>`".

[tkoeppe]

Preexisting: These probably needs to be more than just derived. Like "a type with a base characteristic ([meta.rqmts]) of bool_constant<B>".
In that case, the plain use of true_type in the descriptions should be changed accordingly.

Originally posted by @JohelEGP in #5327 (comment)