--@alloy-expect-error
UpdatedSilences a line the way --@alloy-ignore does, and is an error itself when that line comes clean. Use it where the error is the point: a test of a lint, of a contract, or of a type.
--@alloy-expect-error the contract rejects a negative count local p = new Purchase(-1)
Text after the name is the reason. The error the directive draws when its line goes clean quotes it, the --@alloy-expect-error directive covers a line with no error: the contract rejects a negative count, so a file with several says which one went stale. A directive with no reason draws the missing_reason lint, warn by default.
