Tmp

dotnet · Dec 21, 2023 · 5a1e2d4 · 5a1e2d4
1 parent 0b9c0ad
commit 5a1e2d4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/Compiler/Checking/CheckExpressions.fs b/src/Compiler/Checking/CheckExpressions.fs
@@ -4954,7 +4954,12 @@ and TcTypeApp (cenv: cenv) newOk checkConstraints occ env tpenv m tcref pathType
     if tcref.Deref.IsProvided then TcProvidedTypeApp cenv env tpenv tcref synArgTys m else
 #endif
 
-    let tps = tinst |> List.map (function TType_var(typar, _) -> typar | t -> failwith $"TcTypeApp: {t}")
+    let tps = tinst |> List.map (fun t ->
+        match t with
+        | TType_var(typar, _)
+        | TType_measure(Measure.Var typar) -> typar
+        | t -> failwith $"TcTypeApp: {t}"
+    )
 
     // If we're not checking constraints, i.e. when we first assert the super/interfaces of a type definition, then just
     // clear the constraint lists of the freshly generated type variables. A little ugly but fairly localized.