tree 290937fed64d410944cd6b97fb71626254f518b7
parent c93f9ed0747821999adec023cec49d37a1319ad1
author Yan Zhulanow <yan.zhulanow@jetbrains.com> 1690284338 +0900
committer Yan Zhulanow <yan.zhulanow@jetbrains.com> 1690536730 +0900

[fir2ir] Disable resolve contract check in FIR/IR builtins

In the compiler, 'FirLazyDeclarationResolver' assumes
'lazyResolveToPhase()' appear only during code analysis. So there is
a check that requires calls to be wrapped with 'startResolvingPhase()'
and 'finishResolvingPhase()'. Checkers and backend are run on fully
analyzed code, so there is no need in calling 'lazyResolveToPhase()'
in the first place.

In the IDE, however, it's impossible to analyze all code in a project
before running the backend. Generally, it's not a problem as files that
are explicitly passed to the backend go through all FIR phases.
'IrBuiltInsOverFir', though, perform symbol lookups, so unresolved-yet
declarations might appear.