The location in the source file at which an assertion was written.

An instance is materialised by the compiler at the point where it is required, so a Result constructor which takes one implicitly reports the caller's location rather than a location inside Hedgehog itself.

No absolute path is stored. An absolute path is baked into the compiled class file as a string constant, so the same source compiled from two checkout directories produces two different class files. That defeats a shared build cache, which would otherwise hand one machine another machine's paths on a legitimate cache hit, and it defeats distributed test execution and reproducible builds. It also leaks the publisher's filesystem into a published artefact.