Error codes · Declarations and their clauses

PW5015

unsafe_attribution_invalid

The program must hold to this: an escape hatch's attribution target must name a real owner.

Reading the diagnostic

pw check prints the code in brackets, [PW5015], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.