Whether a value of this type contains a pointer, which targets must opt into.
has_pointer :: (info: *Type_Info) -> bool