fn report_bivariance(tcx: TyCtxt<'_>, param: &GenericParam<'_>)