Missing introspection? "How exactly this type is actually used"

[Adam D Ruppe]

On Friday, 20 May 2022 at 18:23:47 UTC, Ali Çehreli wrote:
> The issue with the member variables remains: Currently, there 
> is no way of determining that a member variable is used only by 
> a set of member function instances that are never generated, 
> meaning that the member variable could be eliminated.

What's your goal here? To minimize the memory used at runtime?