Skip to content

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

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
regression-test/issue14596-7367f5376864b924
Open

Add regression test: #14596, type inference in task CE with recursive constraints#20257
github-actions[bot] wants to merge 1 commit into
mainfrom
regression-test/issue14596-7367f5376864b924

Conversation

@github-actions

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

Fixes #14596

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions
github-actions Bot requested a review from a team as a code owner August 13, 2026 13:10
@github-actions github-actions Bot 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-actions github-actions Bot added the AI-Issue-Regression-PR PR adding regression test for a closed issue label Aug 13, 2026
@github-actions
github-actions Bot requested review from T-Gro and abonie August 13, 2026 13:10
@github-actions github-actions Bot added the AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed label Aug 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI-Issue-Regression-PR PR adding regression test for a closed issue AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Status: New

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"

0 participants