Skip to content

Add testcase that ensures tyvars cannot become negative numbers#127

Merged
rowanG077 merged 1 commit intomasterfrom
126-regression-could-not-deduce-n-3-b0-3-n---1-1
Feb 12, 2026
Merged

Add testcase that ensures tyvars cannot become negative numbers#127
rowanG077 merged 1 commit intomasterfrom
126-regression-could-not-deduce-n-3-b0-3-n---1-1

Conversation

@rowanG077
Copy link
Member

No description provided.

@rowanG077 rowanG077 force-pushed the 126-regression-could-not-deduce-n-3-b0-3-n---1-1 branch 2 times, most recently from eac0864 to 7ab8c79 Compare February 12, 2026 18:07
@rowanG077 rowanG077 force-pushed the 126-regression-could-not-deduce-n-3-b0-3-n---1-1 branch from 7ab8c79 to 6b3ca0a Compare February 12, 2026 18:16
@rowanG077 rowanG077 merged commit c12c1b4 into master Feb 12, 2026
26 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Regression: Could not deduce ‘((n * 3) + b0) ~ ((3 * (n - 1)) + 1)’

1 participant