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