# V8020 spec_frozen

URL: /docs/errors/V8020
Markdown: /docs/errors/V8020.md

> 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 [#wrong-program]

No fixture in `compiler/tests/ui` reports this code yet.

## Fixed program [#fixed-program]

No fixed program yet; the explanation above describes the repair.