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