Skip to content

Prioritize anonymous record fields in completions - #15451

Merged
T-Gro merged 1 commit into
dotnet:mainfrom
kerams:a
Jun 21, 2023
Merged

Prioritize anonymous record fields in completions#15451
T-Gro merged 1 commit into
dotnet:mainfrom
kerams:a

Conversation

@kerams

@keramskerams commented Jun 20, 2023

Copy link
Copy Markdown
Contributor

This is annoying and inconsistent with nominal records.

image

@kerams
kerams requested a review from a team as a code ownerJune 20, 2023 15:27
Comment threadtests/service/CompletionTests.fs
Comment threadtests/service/CompletionTests.fs
@T-Gro
T-Gro merged commit 2e9719a into dotnet:mainJun 21, 2023
@kerams
kerams deleted the a branch June 21, 2023 08:49
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants

@kerams@psfinaki@T-Gro