Skip to content

Fix Go-to-Definition for provided constructors without definition location#19917

Open
T-Gro wants to merge 5 commits into
mainfrom
fix/issue-5538
Open

Fix Go-to-Definition for provided constructors without definition location#19917
T-Gro wants to merge 5 commits into
mainfrom
fix/issue-5538

Conversation

@T-Gro

@T-Gro T-Gro commented Jun 9, 2026

Copy link
Copy Markdown
Member

Fixes #5538

When a provided constructor (or property/event) lacks a
TypeProviderDefinitionLocationAttribute, Go-to-Definition now falls
back to the declaring type's range instead of returning DeclNotFound.

Copilot and others added 4 commits June 9, 2026 08:26
Adds two regression tests in Project25 that exercise GetDeclarationLocation
on a provided constructor call (Item.CtorGroup whose head is ProvidedMeth).
The constructor's MyType has no TypeProviderDefinitionLocationAttribute, so
the current implementation returns DeclNotFound (ProvidedMember ".ctor")
instead of jumping to the user's 	ype T = MyType line. A subsequent commit
will fix this in SymbolHelpers.fs.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
… GREEN)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
… range (#5538)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions

github-actions Bot commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

❗ Release notes required

You can open this PR in browser to add release notes: open in github.dev


✅ Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/11.0.100.md

@github-actions github-actions Bot added the AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed label Jun 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed

Projects

Status: New

Development

Successfully merging this pull request may close these issues.

Go-to-definition fails for a use of a provided constructor

1 participant