Ilya

Results 11 issues of Ilya

### Motivation ### Test plan See included automated tests.

### Motivation ### Test plan See included automated tests.

## Problem A missing import error is reported when referencing a constant without the appropriate `import` statement. This error has an autocorrect that would be applied to the corresponding `__package.rb`...

The PR fixes a bug when an autocorrect for adding `export ` was applied twice. **Issue:** In certain condition an autocorrect to add a package export might be applied twice,...

**Issue:** - A package has a constant which requires an import, and a constant requires an export. Sorbet with `--autocorrects` will apply only one autocorrect. Most likely it's caused by...

The change adds a flag `--stress_incremental_resolver` to the test executor. It works in the same fashion as in the Sorbet itself. After running a test the runner will double the...

The PR is a continuation of an effort to eliminate all crashes caused by faulty locations (https://github.com/sorbet/sorbet/pull/7398, https://github.com/sorbet/sorbet/pull/7407, https://github.com/sorbet/sorbet/pull/7381, https://github.com/sorbet/sorbet/pull/7411, https://github.com/sorbet/sorbet/pull/7414, https://github.com/sorbet/sorbet/pull/7418) On a branch with the `DefinitionLinesDenylistEnforcer` https://github.com/sorbet/sorbet/pull/7381 I...

### Motivation ### Test plan See included automated tests.

### Motivation ### Test plan See included automated tests.

The PR flushes errors after running the namer and the resolver. The change also adds cache for the errors, preventing Sorbet from losing errors due to additional flushes ### Motivation...