fix: Allow two TypeVariable::Constant(N) to unify even if their constants are not equal#3225
Merged
kevaundray merged 2 commits intomasterfrom Oct 19, 2023
Merged
fix: Allow two TypeVariable::Constant(N) to unify even if their constants are not equal#3225kevaundray merged 2 commits intomasterfrom
TypeVariable::Constant(N) to unify even if their constants are not equal#3225kevaundray merged 2 commits intomasterfrom
Commits
Commits on Oct 19, 2023
- committed
- committed
