You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Transaction::commit succeeds on a read-only table #3462
Tables obtained via StaticTable::into_table can be written to, even though they should be read-only.
The internal code marks them as such but the write path has no check.
To Reproduce
The following example program succeeds, but should fail.
Activity