Predicate Public::mutableType

Holds if tp is a type that may (directly or indirectly) reference a memory location.

If a value with a mutable type is passed to a function, the function could potentially mutate it or something it points to.