Fix example for PromotedConsT
The (':)
was a bit misleading because it looks like a sectioned
promoted operator. It's less confusing to just write ':
directly.
Fixes #21675 (closed)
The (':)
was a bit misleading because it looks like a sectioned
promoted operator. It's less confusing to just write ':
directly.
Fixes #21675 (closed)