pub fn adt_def(did: DefId) -> AdtDef