caw_core regression

[compiler-errors]

https://crater-reports.s3.amazonaws.com/pr-133502-2/try%23da0a4799770027c4c578bf48cdb390acfde09023/reg/caw_core-0.5.0/log.txt

use std::ops::Add;

pub(crate) trait SigT {
    type Item: Clone;
}
#[derive(Clone)]
pub(crate) struct Sig<S>(S)
where
    S: SigT;

pub(crate) struct OpScalarSig<L, R>
where
    L: Clone,
    R: SigT,
    L: Add<R::Item>,
    <L as Add<R::Item>>::Output: Clone,
{
    l: L,
    r: R,
}

impl<L, R> SigT for OpScalarSig<L, R>
where
    L: Clone,
    R: SigT,
    L: Add<R::Item>,
    <L as Add<R::Item>>::Output: Clone,
{
    type Item = <L as Add<R::Item>>::Output;
}

impl<S> Add<Sig<S>> for f32
where
    S: SigT<Item = f32>,
    f32: Add<S::Item>,
{
    type Output = Sig<OpScalarSig<f32, S>>;

    fn add(self, rhs: Sig<S>) -> Self::Output {
        loop {}
    }
}

[compiler-errors]

Duplicate of #179 actually now that I think of it. f32: Add<S::Item> forces <f32 as Add>::Output to be rigid, so we don't see that <f32 as Add>::Output: Clone holds.