Wrong warning "This qualifier is redundant"

[Martin521]

Repro steps

type A = {m: int list}

let f x = []

let g a =
    let m = f a.m
    a.m.Length

For the a in the last line of the above code, FSAC shows a warning "This qualifier is redundant".

Expected behavior

No warning, the qualifier is necessary.