fn adt_def(tcx: TyCtxt<'_>, def_id: LocalDefId) -> AdtDef<'_>