PR #12988 Add API to emit type-checking diagnostics

Add API to emit type-checking diagnostics #12988

MichaReiser merged 7 commits into main from type-check

MichaReiser changed the base branch from main to package-files-reentrence-deadlock 1 year ago

MichaReiser force pushed from a10f24fb to f2c0e6b3 1 year ago

MichaReiser force pushed from f2c0e6b3 to 2c168adb 1 year ago

MichaReiser force pushed from 2c168adb to 7204e061 1 year ago

MichaReiser force pushed from 7204e061 to 1bf20697 1 year ago

MichaReiser added ty

MichaReiser marked this pull request as ready for review 1 year ago

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser force pushed from 1bf20697 to 816fda5a 1 year ago

AlexWaygood commented on 2024-08-19

AlexWaygood commented on 2024-08-19

MichaReiser force pushed from 816fda5a to fbf57cd7 1 year ago

AlexWaygood approved these changes on 2024-08-19

Base automatically changed from package-files-reentrence-deadlock to main 1 year ago

Remove Diagnostics wrapper, seems useless

70f9e11e

In-progress work. Need to deal with deadlock

e100e55b

Add diagnostic for unresolved imports

b97a206a

Remove unresolved imports lint rule

b67e0336

Use format_args

d41a814e

Update crates/red_knot_python_semantic/src/types/infer.rs

16b15022

Use format_args

de62da16

MichaReiser force pushed from 92918f5c to de62da16 1 year ago

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged c65e3310 into main 1 year ago

MichaReiser deleted the type-check branch 1 year ago

Reviewers

AlexWaygood

carljm

Assignees

No one assigned

Labels

Milestone

No milestone