[ty] Error context for assignability diagnostics #24309
sharkdp
force pushed
from
07f06224
to
9b5f2ac7
62 days ago
sharkdp
force pushed
from
9b5f2ac7
to
6ebb4a3c
56 days ago
sharkdp
force pushed
from
2f0fef69
to
7f473426
56 days ago
sharkdp
force pushed
from
825c099e
to
4d802089
54 days ago
sharkdp
changed the title [ty] Context for invalid assignment diagnostics [ty] Error cContext for invalid assignment diagnostics 54 days ago
sharkdp
changed the title [ty] Error cContext for invalid assignment diagnostics [ty] Error context for assignability diagnostics 54 days ago
sharkdp
force pushed
from
f939245c
to
ca33e2fa
54 days ago
Initial structure
4c6a04b5
Initial proof of concept
debcce39
Working version
56a2c997
Move RefCell inside the struct
8529a044
Fix error context collection for Callable
43393516
Invert presentation of contextual information
7a2e3715
Add context for return types
09e4dfdf
Error context for Callables
fdc042db
Error context for protocols
81ce14fb
Fix TODO
7ee1fddf
Wording
17ff78e8
Also add context to invalid-argument-type errors
fff2390a
Adapt message for protocols
255e3310
generate-all
674b6868
Unions
c64b07da
Add additional layer for protocols
2c94bdff
Share error context with clones
dbd1d82a
Faster protocol checks?
1af14e4c
Invert stack again
3f8a11d4
Better messages for tuples
e6b50f89
Better messages for protocols
fe26dc16
Add error context for Liskov checks
dd35b65f
Catch simple parameter-name mismatch errors
3c622357
Catch simple positional-only vs positional-or-keyword mistakes
146d3861
Update to non-positional-only message
d87bf8fa
TypedDict, line continuations
279e3bff
Update snapshots
d07bc526
Fix problem with protocol property members
351dbab9
Revert to multiple info hints
e0743a29
Use an enum instead of constructing strings on the fly
ba3374e9
Regenerate rules
fbbfdf89
Tree structure
6c7e575a
Better handlign for unions
8409c4bd
Fix problem with overloads
f1fe7bc1
Add tests for intersections
137a784e
Suppress error collection for intersections, for now
503d7b0d
Suppress union message if non child context is present
eebd3230
Fix
2129a46d
Add Iterable test
67f81828
Update snapshots
2d3247ed
Update snapshots
6b79a4f6
Update snapshots
1e3e63f9
Do not collect context when the diagnostic is suppressed
a471fed6
sharkdp
force pushed
from
ca33e2fa
to
a471fed6
54 days ago
API refinements, docs
31274e68
sharkdp
marked this pull request as ready for review 54 days ago
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
b5791b88
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
4d684815
sharkdp
force pushed
from
f3da5cf2
to
4d684815
50 days ago
Change description for protocol -> protocol assignments
d6c0e7fc
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
96121875
carljm
commented
on 2026-04-14
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
d50c4c67
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
8ebd3d52
Review findings: update info hint messages
519d8014
Include target parameter name for assignments to functions
45b4c178
Add support for parameter indices as well
4fef4e1c
Comment wording
6c1831f0
Move guard up
7135f40f
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
9200e7ca
Merge remote-tracking branch 'origin/main' into david/invalid-assignm…
c156a8d3
sharkdp
merged
8e738339
into main 47 days ago
sharkdp
deleted the david/invalid-assignment-context branch 47 days ago
Login to write a write a comment.
Login via GitHub