more tests

dotnet · Aug 7, 2024 · d8e0332 · d8e0332
1 parent 2f9607d
commit d8e0332
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/...rp.Compiler.ComponentTests/Conformance/Expressions/ObjectExpressions/ObjectExpressions.fs b/...rp.Compiler.ComponentTests/Conformance/Expressions/ObjectExpressions/ObjectExpressions.fs
@@ -233,6 +233,23 @@ type MyClass() = class end
          |> typecheck
          |> shouldSucceed
 
+    [<Fact>]
+    let ``Object expression can not implement an abstract class and interface having no abstract members preview`` () =
+        Fsx """
+type IFirst = interface end
+
+[<AbstractClass>]
+type MyClass() = class end
+
+{ new MyClass() with
+    member x.ToString() = "OK"
+    
+  interface IFirst } |> ignore
+        """
+         |> withLangVersionPreview
+         |> typecheck
+         |> shouldSucceed
+
     [<Fact>]
     let ``Object expression can implement an abstract class having no abstract members.`` () =
         Fsx """