V8020 spec_frozen
A patch modifies a frozen symbol's signature, effect row, error union, contracts, or a test body (design §7.3).
An error from the package phase. sakura explain V8020 prints this explanation offline.
A patch modifies a frozen symbol's signature, effect row, error union, contracts, or a test body (design §7.3). Frozen specs are the reviewer's intent; change the implementation instead.
Wrong program
No fixture in compiler/tests/ui reports this code yet.
Fixed program
No fixed program yet; the explanation above describes the repair.