fn check_variances_for_type_defn<'tcx>( tcx: TyCtxt<'tcx>, item: &'tcx Item<'tcx>, hir_generics: &Generics<'tcx>, )