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