Skip to content

Add regression test: #16056, auto property DeclarationLocation returns correct range#19533

Merged
T-Gro merged 1 commit intomainfrom
regression-test/issue16056-e11c60f37b6ca996
Apr 1, 2026
Merged

Add regression test: #16056, auto property DeclarationLocation returns correct range#19533
T-Gro merged 1 commit intomainfrom
regression-test/issue16056-e11c60f37b6ca996

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

🤖 This PR was created by Repo Assist, an automated AI assistant.

Fixes #16056

Adds a regression test verifying that FSharpMemberOrFunctionOrValue.DeclarationLocation for a property used at a call site (T().Prop) correctly points to the property name identifier in the declaration — not to the get accessor.

Before the fix (regressed in #15589), the DeclarationLocation pointed to the get keyword range (column ~35) instead of the Prop identifier range (column 15).

Test added: Auto property DeclarationLocation points to property name, not get accessor in tests/FSharp.Compiler.Service.Tests/Symbols.fs

Generated by Repo Assist ·

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@9135cdfde26838a01779aa966628308404ec1f02

…t location

Verifies that FSharpMemberOrFunctionOrValue.DeclarationLocation for
a property used as T().Prop points to the property name, not the get accessor.

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 March 31, 2026 19:20
@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 Mar 31, 2026
@github-actions github-actions bot requested review from T-Gro and abonie March 31, 2026 19:20
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Mar 31, 2026
@T-Gro T-Gro merged commit 7e0ab7a into main Apr 1, 2026
46 checks passed
@T-Gro T-Gro deleted the regression-test/issue16056-e11c60f37b6ca996 branch April 1, 2026 09:48
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 NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property

2 participants