fn adt_def<'tcx>(tcx: TyCtxt<'tcx>, def_id_arg: adt_def<'tcx>) -> adt_def<'tcx>