feat(tyck): contextual typing for destructuring and tuple/array flows#2386

Open

hongjr03 wants to merge 31 commits intoMyriad-Dreamin:mainfrom

hongjr03:split/03-contextual-typing

Commits on Jan 29, 2026

fix: constrain include source to Path
hongjr03
committed
fix: use let binding type inside initializer
hongjr03
committed
feat: relate for-loop iterator to pattern
hongjr03
committed
test: add post_type_check fixtures for include path
hongjr03
committed
feat: infer Path type for import sources
hongjr03
committed
test: add post_type_check fixture for import path
hongjr03
committed
test: update expr scope snapshot for import source
hongjr03
committed
fix: relax for-loop iterable constraint
hongjr03
committed
fix: propagate for-loop pattern from iterable bounds
hongjr03
committed
fix: propagate for-loop constraints into iterables
hongjr03
committed
fix(post_tyck): handle let init lookup
hongjr03
committed
feat: eval parenthesized const expressions
hongjr03
committed
feat: resolve keyed dict keys from const bindings
hongjr03
committed
feat: resolve keyed dict constant string expressions
hongjr03
committed
feat: infer record keys from string-bound vars
hongjr03
committed
feat: infer keyed dict fields and dict.at selects
hongjr03
committed
feat: infer dict.at key from const bindings
hongjr03
committed
feat: fold constant string concatenation
hongjr03
committed
tyck: dedupe const string keys
hongjr03
committed
refactor: dedupe const string key helpers
hongjr03
committed
fix: adjust const string key helpers
hongjr03
committed
refactor: remove unused font completion test fixtures
hongjr03
committed
feat: contextual typing for destructuring let bindings
hongjr03
committed
feat: contextual typing for destructuring spreads
hongjr03
committed
feat: constrain tuple and array elements
hongjr03
committed
feat: constrain tuple by array element type
hongjr03
committed
feat: propagate var bounds into existing constraints
hongjr03
committed
feat: propagate constraints through field access
hongjr03
committed
test: complete paths from tuple destructuring
hongjr03
committed
style: fmt
hongjr03
committed
refactor: simplify destructuring spread handling
hongjr03
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(tyck): contextual typing for destructuring and tuple/array flows#2386

feat(tyck): contextual typing for destructuring and tuple/array flows#2386
hongjr03 wants to merge 31 commits intoMyriad-Dreamin:mainfrom
hongjr03:split/03-contextual-typing

Commits on Jan 29, 2026

fix: constrain include source to Path

fix: use let binding type inside initializer

feat: relate for-loop iterator to pattern

test: add post_type_check fixtures for include path

feat: infer Path type for import sources

test: add post_type_check fixture for import path

test: update expr scope snapshot for import source

fix: relax for-loop iterable constraint

fix: propagate for-loop pattern from iterable bounds

fix: propagate for-loop constraints into iterables

fix(post_tyck): handle let init lookup

feat: eval parenthesized const expressions

feat: resolve keyed dict keys from const bindings

feat: resolve keyed dict constant string expressions

feat: infer record keys from string-bound vars

feat: infer keyed dict fields and dict.at selects

feat: infer dict.at key from const bindings

feat: fold constant string concatenation

tyck: dedupe const string keys

refactor: dedupe const string key helpers

fix: adjust const string key helpers

refactor: remove unused font completion test fixtures

feat: contextual typing for destructuring let bindings

feat: contextual typing for destructuring spreads

feat: constrain tuple and array elements

feat: constrain tuple by array element type

feat: propagate var bounds into existing constraints

feat: propagate constraints through field access

test: complete paths from tuple destructuring

style: fmt

refactor: simplify destructuring spread handling