Non tail calls aren't giving a compile error

[aDifferentJT]

I'm getting a warning: unreachable expression rather than a hard error for non tail calls, I can produce a minimal example if that's helpful, but I first wanted to check whether this is expected behaviour.

[travis-leith]

A minimal example would indeed be helpful.