Commitbfcc390

committed

notify name resolution sink about nameof operator argument Item in order to not loose its FSharpSymbolUse

1 parent067955a commitbfcc390Copy full SHA for bfcc390

File tree

-2

lines changed

-2

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1193,7 +1193,7 @@ type ItemOccurence =`
`1193`	`1193`	`typeITypecheckResultsSink=`
`1194`	`1194`	`abstractNotifyEnvWithScope :rangeNameResolutionEnvAccessorDomain->unit`
`1195`	`1195`	`abstractNotifyExprHasType :posTTypeTastops.DisplayEnvNameResolutionEnvAccessorDomain*range->unit`
`1196`		`-abstractNotifyNameResolution :posItemItemItemOccurenceTastops.DisplayEnvNameResolutionEnvAccessorDomainrangebool->unit`
	`1196`	`+abstractNotifyNameResolution :positem:ItemitemMethodGroup:ItemItemOccurenceTastops.DisplayEnvNameResolutionEnvAccessorDomainrange replace:bool->unit`
`1197`	`1197`	`abstractNotifyFormatSpecifierLocation :range->unit`
`1198`	`1198`	`abstractCurrentSource :stringoption`
`1199`	`1199`

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -8325,7 +8325,9 @@ and TcFunctionApplicationThen cenv overallTy env tpenv mExprAndArg expr exprty (`
`8325`	`8325`	`match cleanSynArg with`
`8326`	`8326`	`\| LastPartOfLongIdentStripParens (idents, lastIdent) ->`
`8327`	`8327`	// Try to resolve the `nameof` operator argument to prevent passing anything to it.
`8328`		`- ResolveExprLongIdent cenv.tcSink cenv.nameResolver mArg env.eAccessRights env.eNameResEnv TypeNameResolutionInfo.Default idents \|> ignore`
	`8328`	`+ let item, _ = ResolveExprLongIdent cenv.tcSink cenv.nameResolver mArg env.eAccessRights env.eNameResEnv TypeNameResolutionInfo.Default idents`
	`8329`	`+ // Notify name resolution sink about the resolved argument in order to not loose symbol use, which is used in IDE.`
	`8330`	`+ CallNameResolutionSink cenv.tcSink (cleanSynArg.Range, env.eNameResEnv, item, item, ItemOccurence.Use, env.DisplayEnv, env.eAccessRights)`
`8329`	`8331`
`8330`	`8332`	`let r = expr.Range`
`8331`	`8333`	// generate fake `range` for the constant the `nameof(..)` we are substituting

Comments

(0)