Table lookups - this is pretty definitive

[bearophile]

Walter Bright:

> I don't see why not. Note that we couldn't do this for 
> extern(C) functions, or variadics, or caller functions with 
> parameters that need destruction, or parameters that may refer 
> to any locals. That last constraint might be a doozy, however.
>
> Why not submit an enhancement request to bugzilla?

So what does it happen if I (by mistake or by ignorance) try to 
use this on a function that doesn't satisfy one of those 
requirements? D can't give an error in that case because it's a 
big breaking change. So is D in that case just silently not 
performing the tail call as the programmer meant?

Bye,
bearophile