more tests

dotnet · Jan 14, 2025 · e19607a · e19607a
1 parent b8561be
commit e19607a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/FSharp.Compiler.ComponentTests/ErrorMessages/UnitOfMeasureTests.fs b/tests/FSharp.Compiler.ComponentTests/ErrorMessages/UnitOfMeasureTests.fs
@@ -20,6 +20,9 @@ module M =
 
     type B<'u> with
         member this.Y = this.X
+
+type FooExt =
+    static member Bar(this: A<'u>, value: A<'u>) = this
         """
         |> typecheck
         |> shouldFail
@@ -36,6 +39,9 @@ type A<[<Measure>]'u>(x : int<'u>) =
 module M =
     type A<[<Measure>] 'u> with // Note the Measure attribute
         member this.Y = this.X
+
+type FooExt =
+    static member Bar(this: A<'u>, value: A<'u>) = this
         """
         |> typecheck
         |> shouldSucceed