feat!: Syncing TypeVariableKind with Kind#6094

Merged

TomAFrench merged 36 commits intomasterfrom

michaeljklein/sync-type-var-kinds

Oct 1, 2024

Commits on Sep 18, 2024

wip: syncing TypeVariableKind with Kind, removing the temporary 'None' kind
michaeljklein
committed

Commits on Sep 19, 2024

wip validating that op.function results fit in their kinds
michaeljklein
committed
Merge branch 'master' into michaeljklein/sync-type-var-kinds
michaeljklein
authored
wip(todo!(..)'s remain): adding kinds checks to (try_)bind_to and TypeBindings, rename is_numeric on TypeVariableKind to distinguish it's numeric on _values_, add TypeVariableKind::Numeric
michaeljklein
committed

Commits on Sep 20, 2024

Commits on Sep 24, 2024

Commits on Sep 25, 2024

Commits on Sep 26, 2024

Commits on Oct 1, 2024