fn report_bivariance(
    tcx: TyCtxt<'_>,
    param: &GenericParam<'_>,
    has_explicit_bounds: bool,
    item_kind: ItemKind<'_>
) -> ErrorGuaranteed