Operator overloading only considers the method name, not which trait is implemented

[SiegeLord]

Currently this code compiles, but it shouldn't:

trait MyMul<RHS, Res>
{
    fn mul(&self, rhs: &RHS) -> Res;
}

fn foo<T: MyMul<f64, f64>>(a: &T, b: f64) -> f64
{
    a * b
}

fn main()
{

}

[alexcrichton]

Oh dear that's bad, nominating.

[eddyb]

Even though we only use the lang item as a potential trait for overloadable expressions, push_bound_candidates in typeck::check::method will also consider traits in generic bounds.

It doesn't seem hard to duplicate the functionality of typeck::check::method::lookup to only consider the relevant operator overload trait - also see push_extension_candidates.