inherited unless *both*: (a) the base type is 'object', and (b) the
subtype is not a "heap" type.