Interior mutability reflection

Related thread which proposed an auto trait for types which have no interior mutability: Autotrait to mark types without interior mutability