fn check_mixed_explicit_and_in_band_defs(
    tcx: TyCtxt<'_>,
    params: &[GenericParam<'_>]
)