Immutable statics should only allow types which are Freeze #12432
Closed
Description
All statics are placed in rodata
by LLVM (we mark them as constant), so any attempt at mutation will not succeed (it will segfault).
See #11583 (comment) and #11583 (comment). I wanted to make an official issue out of those comments.
Despite the discussion in #10577 to work on values of immutable statics, I think that this Freeze
bound should apply to the type of the static instead.
Nominating.
Metadata
Assignees
Labels
No labels