fn same_adt<'tcx>(ty: Ty<'tcx>, def: AdtDef<'tcx>) -> bool