See if pointers from function parameters, mutable globals, or uplevel functions could leak into type t.
type to check if it is isolated
true if t is isolated from any inputs to the function
See Implementation
See if pointers from function parameters, mutable globals, or uplevel functions could leak into type t.