F# Quick Action "Name can be simplified" breaks logic

[vsfeedback]

See screenshot.

The quick action suggests that "bar2." be removed, breaking the code logic.

This issue has been moved from https://developercommunity.visualstudio.com/content/problem/448919/f-quick-action-name-can-be-simplified-breaks-logic.html
VSTS ticketId: 789046
These are the original issue comments:
(no comments)
These are the original issue solutions:
(no solutions)

[cartermp]

Confirmed on Preview 2

[charlesroddie]

Similar but subtly different issue, found on VS 16.0.1:

If Y is a constructor, living inside a class or module A, and A is open, and Y has a different binding, then the expression A.Y gets the incorrect message "name can be simplified".

[psfinaki]

Currently doesn't reproduce for any of the above:

Code:

type Foo = { myInt: int }
type Bar1 = { test: Foo }
type Bar2 = { foo: Foo }

let test (foo: Foo) (bar1: Bar1) (bar2: Bar2) = 
    if bar1.test.myInt = foo.myInt then ()
    if bar2.foo.myInt = foo.myInt then ()
    ()

Code:

module B

module A = 
    let X() = ()
    type Y() = class end

open A

let X = 0
let Y = 0
let AX = A.X
let AY = A.Y

type DU =
    | X
    | Y

    member t.AX = A.X
    member t.AY = A.Y

Hence closing, please reopen if this still somehow applies.