You can builtins.trace a message, then cause failing assertion. AFAIK assertios show file, line. Thus its easy to lookup. Maybe it would be a use case for a soft throw behaving like a failed assertion - thus I'd not worry too much. Marc Weber