FSharpMemberOrFunctionOrValue.DeclarationLocation returns wrong location for auto property

[auduchinok]

Consider this example:

module Module

type T() =
    member val Prop int = 1 with get, set

T().Prop

Get GetAllUsesOfAllSymbolsInFile and find the symbol for the Prop usage on the last line. This symbol reports get range as its declaration range instead of Prop range.

[auduchinok]

This seems to have regressed in #15589.

[github-actions]

🤖 This is an automated response from Repo Assist.

This issue appears to be fixed in the current F# 11.0 development build.

Verification — tested on commit a0cce49 (dotnet/fsharp main, 2026-03-30) using F# Compiler Service 15.2.100.0 for F# 11.0:

open FSharp.Compiler.CodeAnalysis
open FSharp.Compiler.Text

let code = """module Module
type T() =
    member val Prop : int = 1 with get, set
let _ = T().Prop
"""
// ... GetAllUsesOfAllSymbolsInFile, find Prop on last line

Result: DeclarationLocation for the Prop usage on T().Prop now correctly returns line 4, col 15–19 — which is exactly the Prop identifier in member val Prop : int = 1 with get, set. It no longer points to the get accessor (which would be at col 35).

Generated by Repo Assist · ◷

To install this agentic workflow, run

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