Skip to content

Add regression test: #14596, type inference in task CE with recursive constraints - #20257

Merged
T-Gro merged 1 commit into
mainfrom
regression-test/issue14596-7367f5376864b924
Aug 19, 2026
Merged

Add regression test: #14596, type inference in task CE with recursive constraints#20257
T-Gro merged 1 commit into
mainfrom
regression-test/issue14596-7367f5376864b924

Conversation

@github-actions

@github-actionsgithub-actionsBot commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Adds a regression test for #14596 — type inference in backgroundTask/task CE with recursive type constraints ('T :> IMarker<'T>) previously produced FS0073: internal error: Undefined or unsolved type variable.

The test verifies the exact repro from the issue type-checks successfully.

Fixes#14596

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

  • southcentralus0.in.applicationinsights.azure.com

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
allowed:
- defaults
- "southcentralus0.in.applicationinsights.azure.com"

See Network Configuration for more information.

Generated by 🌈 Repo Assist, see workflow run. Learn more.

Add this agentic workflows to your repo

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@7c7feb61a52b662eb2089aa2945588b7a200d404

@github-actions
Add regression test for#14596: type inference in task CE
7ad57e6
Fixes#14596
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions
github-actionsBot requested a review from a team as a code ownerAugust 13, 2026 13:10
@github-actionsgithub-actionsBot added AI-Issue-Regression-PR PR adding regression test for a closed issue NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes labels Aug 13, 2026
@github-actionsgithub-actionsBot added the AI-Issue-Regression-PR PR adding regression test for a closed issue label Aug 13, 2026
@github-actions
github-actionsBot requested review from T-Gro and abonieAugust 13, 2026 13:10
@github-actionsgithub-actionsBot added the AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed label Aug 13, 2026
@github-actionsgithub-actionsBot mentioned this pull request Aug 14, 2026
Open
2 tasks
@github-project-automationgithub-project-automationBot moved this from New to In Progress in F# Compiler and ToolingAug 19, 2026
@T-Gro
T-Gro merged commit 1e0a6e7 into mainAug 19, 2026
47 checks passed
@T-Gro
T-Gro deleted the regression-test/issue14596-7367f5376864b924 branch August 19, 2026 09:33
This was referenced Aug 19, 2026
Merged
Merged
Merged
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@T-GroT-GroT-Gro approved these changes
@abonieabonieAwaiting requested review from abonie

Assignees

No one assigned

Labels

AI-Issue-Regression-PRPR adding regression test for a closed issueAI-Tooling-Check-BypassedTooling check: non-fork PR, not diff-analyzedNO_RELEASE_NOTESLabel for pull requests which signals, that user opted-out of providing release notes

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Type inference in task/backgroundTask CE can lead to "FS0073: internal error: Undefined or unsolved type variable"

1 participant

@T-Gro