fn typeWasDemotedToOpaque(t: *Translator, qt: QualType) bool
fn typeWasDemotedToOpaque(t: *Translator, qt: QualType) bool { return t.opaque_demotes.contains(qt.base(t.comp).qt); }