Compilers fails to compile module with same name as Record using Unit of Measure generic type declared before

Please provide a succinct description of the issue.

Repro steps

Provide the steps required to reproduce the problem:

1. Copy the following code into a .fsx or .fs file:

type Animal<[<Measure>] 'Measure> =
    {
        Size : float
    }

module Animal =

    let create (s: float<'Measure>) : Animal<'Measure> =
        { Size = float s }

1. Observe that the compiler throws an error for the Animal module.

If possible attach a zip file with the repro case. This often makes it easier for others to reproduce. The zip file should ideally represent the situation just before the call/step that is problematic.

Expected behavior

The compiler should compile.

Actual behavior

Compiler says there is a duplicate definition of the Animal type

Known workarounds

Annotate the Animal module with the [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>] attribute.

Related information

Provide any related information (optional):

• Operating system
• .NET Runtime kind (.NET Core, .NET Framework, Mono)
• Editing Tools (e.g. Visual Studio Version, Visual Studio)

[T-Gro]

Matt:

In SyntaxTree, the typar (TYpeARgument) has the following shape, with attributes on it: [<NoEquality; NoComparison>] type SynTyparDecl = SynTyparDecl of attributes: SynAttributes * SynTypar

So this check should be possible.

Here is what I would do: Add new test-file by mimicing what the neighborhood tests are doing, I would place this one at : \tests*FSharp.Compiler.ComponentTests*\Conformance*UnitsOfMeasure*\

Cover the following via separate test cases (in the end almost identical)

• Non-generic record + module // erasure IS needed
• Classical generic record + module // erasure not needed
• UoM-generic record + module // erasure IS needed
• Record having both UoM generics and regular generics + module // erasure not needed

And add a breakpoint to the set-building function above and inspect. Focus on the SynComponentInfo(typeParams=TyparDecls typars and if isNil typars then parts

[0101]

This doesn’t seem to reproduce anymore in latest F#/VS.