https://issues.dlang.org/show_bug.cgi?id=17366

--- Comment #3 from Adam D. Ruppe <[email protected]> ---
My guess is that func.d's findVtblIndex function fails to find the base class
method because `type.equals` and `type.covariant` fail to take into account
inference.

Looking at mtype.d, there is 

      if (!t1n || !t2n) // happens with return type inference
                goto Lnotcovariant;

Which I'm guessing isn't right, it should actually analyze the body and fill
those types in.

--

Reply via email to