[red-knot] Support `assert_type`#15194

Merged

carljm merged 3 commits intoastral-sh:mainfrom

InSyncWithFoo:rk-assert-type

Jan 10, 2025

Contributor

InSyncWithFoo commented Dec 30, 2024

Summary

Test Plan

Markdown tests and unit tests.

InSyncWithFoo requested review from AlexWaygood, MichaReiser, carljm and sharkdp as code owners

December 30, 2024 03:53

Contributor

github-actions bot commented Dec 30, 2024 •

edited

Loading

`ruff-ecosystem` results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Contributor Author

InSyncWithFoo commented Dec 30, 2024

This is largely a proof-of-concept. is_equals_to() is not a thing in the specification, and I'm quite sure its name is not the best.

MichaReiser added the ty label

sharkdp reviewed

View reviewed changes

Contributor

sharkdp left a comment

Thank you very much for working on this. I added a few initial review comments.

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

MichaReiser reviewed

View reviewed changes

crates/red_knot_python_semantic/src/types/diagnostic.rs Outdated Show resolved Hide resolved

InSyncWithFoo force-pushed the rk-assert-type branch from 3234f80 to 08fd1a5 Compare

January 3, 2025 20:53

carljm reviewed

View reviewed changes

Contributor

carljm left a comment

This looks good, thank you for working on it! I think if we rebase on top of #15103 we can address some of the limitations and get it ready to land.

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

InSyncWithFoo force-pushed the rk-assert-type branch from 08fd1a5 to 7bb9545 Compare

January 8, 2025 09:24

MichaReiser reviewed

View reviewed changes

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

MichaReiser reviewed

View reviewed changes

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

MichaReiser reviewed

View reviewed changes

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

sharkdp mentioned this pull request

[red-knot] knot_extensions Python API #15103

Merged

7 tasks

InSyncWithFoo force-pushed the rk-assert-type branch from a90a8fd to bf4957f Compare

January 8, 2025 12:32

carljm reviewed

View reviewed changes

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

InSyncWithFoo force-pushed the rk-assert-type branch from d6fa64f to b5d8b8f Compare

January 9, 2025 22:14

carljm reviewed

View reviewed changes

Contributor

carljm left a comment

Looks great, thank you! A few nits here and there, but basically this looks just right.

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Show resolved Hide resolved

crates/red_knot_python_semantic/resources/mdtest/directives/assert_type.md Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Outdated Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Show resolved Hide resolved

crates/red_knot_python_semantic/src/types.rs Show resolved Hide resolved

crates/red_knot_python_semantic/src/types/infer.rs Outdated Show resolved Hide resolved

AlexWaygood reviewed

View reviewed changes

Member

AlexWaygood left a comment

You need to merge/rebase and fix some compilation failures now that #15386 has landed :-)

crates/red_knot_python_semantic/src/types.rs Show resolved Hide resolved


          [red-knot] Support assert_type

13ace5b

InSyncWithFoo force-pushed the rk-assert-type branch from 5d6ab96 to 13ace5b Compare

January 10, 2025 12:36

InSyncWithFoo added 2 commits

January 10, 2025 12:48


          Per review

e9b6f8d

Fix

050b832

carljm approved these changes

View reviewed changes

Contributor

carljm left a comment

Awesome, thank you for this, and for managing all the rebasing on top of other refactors that landed in the meantime!

carljm merged commit 6b98a26 into astral-sh:main

21 checks passed

InSyncWithFoo deleted the rk-assert-type branch

January 10, 2025 16:50

InSyncWithFoo mentioned this pull request

[red-knot] Understand type[Unknown] #15409

Merged

carljm pushed a commit that referenced this pull request


          [red-knot] Understand type[Unknown] (#15409)

232fbc1

## Summary

Follow-up to #15194.

## Test Plan

Markdown tests.

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

Labels

ty