Alex Waygood 3608c620ac [ty] Right-hand side narrowing for if Foo is type(x) expressions (#22608)

2026-01-17 15:49:51 +00:00

..

builder

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

use_def

[ty] more precise lazy scope place lookup (#19932)

2025-09-08 21:08:35 +00:00

ast_ids.rs

[ty] Right-hand side narrowing for if Foo is type(x) expressions (#22608)

2026-01-17 15:49:51 +00:00

builder.rs

Update pre-commit dependencies (#22281)

2025-12-29 17:11:28 +00:00

definition.rs

[ty] Support 'dangling' type(...) constructors (#22537)

2026-01-14 08:48:53 -05:00

expression.rs

[ty] Track heap usage of salsa structs (#19790)

2025-08-12 13:28:44 +02:00

member.rs

[ty] Fix static assertion size check (#19814)

2025-08-07 13:38:16 -05:00

narrowing_constraints.rs

[ty] Split ScopedPlaceId into ScopedSymbolId and ScopedMemberId (#19497)

2025-07-25 13:54:33 +02:00

place.rs

[ty] Apply narrowing to walrus targets (#22369)

2026-01-14 00:56:47 +00:00

predicate.rs

[ty] Reachability constraints: minor documentation fixes (#21774)

2025-12-03 16:40:11 +01:00

re_exports.rs

[ty] Move module resolver code into its own crate (#22106)

2025-12-21 11:00:34 +00:00

reachability_constraints.rs

[ty] Make ModuleType and object attributes available on namespace packages (#22606)

2026-01-16 08:42:58 +00:00

scope.rs

[ty] Support 'dangling' type(...) constructors (#22537)

2026-01-14 08:48:53 -05:00

symbol.rs

[ty] name is parameter and global is a syntax error (#21312)

2025-11-14 18:15:34 +00:00

use_def.rs

[ty] Rename some narrowing-related machinery (#22618)

2026-01-16 17:10:33 +00:00