Skip to content

fix: Fix ENFORCE due to incorrect empty type folding - #197

Merged
varungandhi-src merged 1 commit into
scip-ruby/masterfrom
vg/fix-type-fold
Jun 28, 2023
Merged

varungandhi-src merged 1 commit into
scip-ruby/masterfrom
vg/fix-type-fold

Conversation

@varungandhi-src

Copy link
Copy Markdown
Contributor

Motivation

Fixes #195 and reduces debug log spew

Test plan

We don't have a minimal test case yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

scip_indexer/SCIPIndexer.cc:437 enforced condition overrideType.value() has failed: forgot to fold type to nullopt earlier

1 participant