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