Fix internal error when missing Measure attribute in a unsolved measure typar

Author: edgarfgp

src/Compiler/FSComp.txt

@@ -1789,5 +1789,6 @@ featureUseTypeSubsumptionCache,"Use type conversion cache during compilation"
 3872,tcPartialActivePattern,"Multi-case partial active patterns are not supported. Consider using a single-case partial active pattern or a full active pattern."
 featureDontWarnOnUppercaseIdentifiersInBindingPatterns,"Don't warn on uppercase identifiers in binding patterns"
 3873,chkDeprecatePlacesWhereSeqCanBeOmitted,"This construct is deprecated. Sequence expressions should be of the form 'seq {{ ... }}'"
+3874,tcExpectedTypeParamMarkedWithUnitOfMeasureAttribute,"Expected unit-of-measure type parameter must be marked with the [<Measure>] attribute."
 featureDeprecatePlacesWhereSeqCanBeOmitted,"Deprecate places where 'seq' can be omitted"
 featureSupportValueOptionsAsOptionalParameters,"Support ValueOption as valid type for optional member parameters"

src/Compiler/TypedTree/TypedTreeOps.fs

@@ -243,6 +243,9 @@ and remapMeasureAux tyenv unt =
           | Some tpTy -> 
               match tpTy with
               | TType_measure unt -> unt
+              | TType_var(typar= typar) when tp.Kind = TyparKind.Measure ->
+                    // This is a measure typar that is not yet solved, so we can't remap it
+                    error(Error(FSComp.SR.tcExpectedTypeParamMarkedWithUnitOfMeasureAttribute(), typar.Range))
               | _ -> failwith "remapMeasureAux: incorrect kinds"
           | None -> unt
        | Some (TType_measure unt) -> remapMeasureAux tyenv unt

src/Compiler/xlf/FSComp.txt.cs.xlf

@@ -0,0 +1,42 @@
+// Copyright (c) Microsoft Corporation.  All Rights Reserved.  See License.txt in the project root for license information.
+
+module ErrorMessages.UnitOfMeasureTests
+
+open Xunit
+open FSharp.Test.Compiler
+
+[<Fact>]
+let ``Error - Expected unit-of-measure type parameter must be marked with the [<Measure>] attribute.`` () =
+    Fsx """
+type A<[<Measure>]'u>(x : int<'u>) =
+    member this.X = x
+
+type B<'u>(x: 'u) =
+    member this.X = x
+
+module M =
+    type A<'u> with // Note the missing Measure attribute
+        member this.Y = this.X
+
+    type B<'u> with
+        member this.Y = this.X
+        """
+        |> typecheck
+        |> shouldFail
+        |> withDiagnostics [
+            (Error 3874, Line 9, Col 12, Line 9, Col 14, "Expected unit-of-measure type parameter must be marked with the [<Measure>] attribute.")
+        ]
+
+[<Fact>]
+let ``Expected unit-of-measure type parameter must be marked with the [<Measure>] attribute.`` () =
+        Fsx """
+type A<[<Measure>]'u>(x : int<'u>) =
+    member this.X = x
+
+module M =
+    type A<[<Measure>] 'u> with // Note the Measure attribute
+        member this.Y = this.X
+        """
+        |> typecheck
+        |> shouldSucceed
+

src/Compiler/xlf/FSComp.txt.de.xlf

@@ -218,6 +218,7 @@
     <Compile Include="ErrorMessages\InterfaceImplInAugmentationsTests.fs" />
     <Compile Include="ErrorMessages\ExtendedDiagnosticDataTests.fs" />
     <Compile Include="ErrorMessages\ActivePatternArgCountMismatchTest.fs" />
+    <Compile Include="ErrorMessages\UnitOfMeasureTests.fs" />
     <Compile Include="Language\IndexerSetterParamArray.fs" />
     <Compile Include="Language\MultiDimensionalArrayTests.fs" />
     <Compile Include="Language\RegressionTests.fs" />