[Issue 17366] Inferrence results in a missing error for final

[via Digitalmars-d-bugs]

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

--- Comment #3 from Adam D. Ruppe <destructionator at gmail.com> ---
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.

--