Fix internal error when missing measure attribute in an unsolved measure typar

[edgarfgp]

Description

Fixes #7491

type A<[<Measure>]'u>(x : int<'u>) =
    member this.X = x

module M =
    type A<'u> with // Note the missing Measure attribute
        member this.Y = this.X

BEFORE

Ok.fs(6,25): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(6,25): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(5,5): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(5,5): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(4,1): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(1,1): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

Ok.fs(1,1): error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

error FS0192: internal error: remapMeasureAux: incorrect kinds

error FS0073: internal error: remapMeasureAux: incorrect kinds (Failure)

error FS0192: internal error: remapMeasureAux: incorrect kinds

Unhandled Exception: System.Exception: remapMeasureAux: incorrect kinds

AFTER

(Error 3874, Line 9, Col 12, Line 9, Col 14, "Expected unit-of-measure type parameter must be marked with the [<Measure>] attribute.")

Checklist

• Test cases added
• Release notes entry updated

[github-actions]

❗ Release notes required

---

✅ Found changes and release notes in following paths:

Change path	Release notes path	Description
src/Compiler	docs/release-notes/.FSharp.Compiler.Service/9.0.300.md

[psfinaki]

@edgarfgp a question, partially orthogonal and out of curiosity.

While doing the investigation, have you got an understanding on why is the attribute duplication actually needed there?

AFAIU (might be wrong, you are the attribute guru here) - inheritance should work normally for attributes, so attribute properties should apply to the derived entities.

I'm getting a suspicion that something is broken more deeply here. I've noticed different behavior between C# and F# here:

[edgarfgp]

@psfinaki Yeah I think you are hitting #17107 ?

Edit: Will try and investigate this during NET10 timeframe.

[psfinaki]

Right - told ya, you're the attribute guru. At least that's a known issue then...