"Andrei Alexandrescu" wrote in message
news:mb03nt$1lhr$1...@digitalmars.com...
I agree. One actionable - albeit crazy :o) - idea is to make __FILE__,
__LINE__, __MODULE__ etc. inside contracts bind to the caller context.
Then all failures blame straight to the caller code. -- Andrei
Unfortunately that's not practical until contracts have been changed to run
from the caller's side, as there is no way to pass them through the called
function without modifying its argument list. #3799 does however report the
caller's location correctly.
