pub fn adt_drop_tys<'tcx>(tcx: TyCtxt<'tcx>, key: adt_drop_tys<'tcx>) -> String