Login
From:
Flow Blog
(Uncensored)
subscribe
New Flow Language Rule: Constrained Writes
https://flow.org/blog/2022/08/05/New-Flow-Language-Rule-Constrained-Writes/
links
backlinks
Roast topics
Find topics
Find it!
Flow is releasing a new language rule that determines the type of an unannotated variable at its initialization. Along with these new rules come several fixes to soundness bugs that were causing refinements to not be invalidated.
