How to know if a value type includes heap allocations and ref counting

[wadetregaskis]

I'm surprised there's no way to get this information from the compiler - e.g. some dump of the type hierarchy showing relevant metadata like whether each type is ref-counted or has transitive children that are? The compiler must have that information internally.