tree 65a4d0283636cd878ce4e49b7a4a0d0748064d8b
parent b979eb2e26e5f7300806ad5ade22587a3e4a0bb4
author Denis.Zharkov <denis.zharkov@jetbrains.com> 1731699510 +0100
committer Denis.Zharkov <denis.zharkov@jetbrains.com> 1731699510 +0100

fixup! K2: rewrite processConstraintStorageFromExpression using resolution atoms