gistfile1.txt

// This compiles, but didn't need lifetime annotations.
// what does this do differently compared to the version using operators?

pub trait MulRef<B> {
	type Output;
	fn mul_ref(&self,&B)->Self::Output;
}
pub trait AddRef<B> {
	type Output;
	fn add_ref(&self,&B)->Self::Output;
}

pub fn madd_r1<A,B,C,P>(a:&A,b:&B,c:&C)->A where
	B:MulRef<C,Output=P>,
	A:AddRef<P,Output=A>,
{
	let p=b.mul_ref(c);
	a.add_ref(&p)
}