sourcegraph / scip-python

SCIP indexer for Python
Other
51 stars 23 forks source link

Failure when indexing django/django #123

Open varungandhi-src opened 1 year ago

varungandhi-src commented 1 year ago

https://sourcegraph.com/github.com/django/django/-/code-graph/indexes/UHJlY2lzZUluZGV4OiJJOjE0MTcwOTU2Ig==

An internal error occurred while type checking file "/data/tests/model_enums/tests.py": Error: Debug Failure. False expression.
    at Ys (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:718227)
    at /usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:714601
    at qs (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:714900)
    at Zs (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:726121)
    at s.timeOperation (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:991941)
    at t.assignTypeToTypeVar (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:194468)
    at Zs (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:722183)
    at oi (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:753583)
    at ri (/usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:752078)
    at /usr/local/lib/node_modules/@sourcegraph/scip-python/dist/pyright-internal.js:1:533116
(14:03:12)   Analysis partially failed with (1/100): Error: Debug Failure. False expression.

(14:05:31)   - (2760/3648): /data/tests/migrations/migrations_test_apps/lookuperror_b/migrations/__init__.py

Part of the failure on Linux above.

On macOS, it seems to just hang after a certain point, so maybe it's hitting an infinite loop.

(13:57:02)   - (2724/3648): /Users/varun/Code/play/py/django/tests/migrations/test_optimizer.py

~/Code/play/py/django >                                            < ✘ INT < 7m 19s < 14:02:41

It seems like there are multiple bugs here, and requires further investigation to narrow down what the different sub-bugs are.