cpp/types/is copy assignable

@1@ If is not a referenceable type (i.e., possibly cv-qualified  or a function type with a cv-qualifier-seq or a ref-qualifier), provides a member constant  equal to. Otherwise, provides a member constant equal to. @2@ Same as, but uses. @3@ Same as, but uses.