There's also a button at the top of the tool window.
Use it if IDE internal state seems to be outdated, i.e. there's no module in the index, but code compiles just fine
Improved type checking:
Check support for the arithmetic operators
Use function body to infer the type of the integer
Performance Improvements
Cache type checking results better
Fixes
Automatically show the completion popup after typing @
Fix renaming of non-move files when plugin is installed, see #62
button at the top of the tool window.
Use it if IDE internal state seems to be outdated, i.e. there's no module in the index, but code compiles just fine
.svg)