On 12/12/2022 12:57 PM, Steven Schveighoffer wrote: > But it would be better to do that anyway, since the compiler isn't completely > consistent with which classes it inserts into `ModuleInfo`. Also, ModuleInfo can't know what to *exclude*.