Furthering the test, all languages exhibit the same issue.

Added another property that is expected to fail, exhibiting inconsistencies in how the error is reported depending if the type is defined in F# or not.

Author: smoothdeveloper

tests/fsharp/core/members/set-only-property/calls.bsl

@@ -0,0 +1,20 @@
+
+calls.fsx(9,22,9,27): typecheck error FS0495: The object constructor 'Class' has no argument or settable return property 'Prop1'. The required signature is csharp.Class() : csharp.Class.
+
+calls.fsx(10,26,10,31): typecheck error FS0495: The object constructor 'BasicClass' has no argument or settable return property 'Prop1'. The required signature is basic.BasicClass() : basic.BasicClass.
+
+calls.fsx(13,21,13,26): typecheck error FS0495: The member or object constructor 'mkCs' has no argument or settable return property 'Prop1'. The required signature is static member Maker.mkCs : unit -> csharp.Class.
+
+calls.fsx(14,21,14,26): typecheck error FS0495: The member or object constructor 'mkVb' has no argument or settable return property 'Prop1'. The required signature is static member Maker.mkVb : unit -> basic.BasicClass.
+
+calls.fsx(18,30,18,31): typecheck error FS0629: Method 'set_Prop2' is not accessible from this code location
+
+calls.fsx(19,34,19,35): typecheck error FS0629: Method 'set_Prop2' is not accessible from this code location
+
+calls.fsx(20,24,20,29): typecheck error FS0495: The object constructor 'Class' has no argument or settable return property 'Prop2'. The required signature is new : unit -> fsharp.Class.
+
+calls.fsx(22,29,22,30): typecheck error FS0629: Method 'set_Prop2' is not accessible from this code location
+
+calls.fsx(23,29,23,30): typecheck error FS0629: Method 'set_Prop2' is not accessible from this code location
+
+calls.fsx(24,23,24,28): typecheck error FS0495: The member or object constructor 'mkFs' has no argument or settable return property 'Prop2'. The required signature is static member Maker.mkFs : unit -> fsharp.Class.

tests/fsharp/core/members/set-only-property/calls.fsx

@@ -0,0 +1,24 @@
+#r "cs.dll"
+#r "vb.dll"
+#r "fs.dll"
+type Maker =
+  static member mkCs () = csharp.Class()
+  static member mkVb () = basic.BasicClass()
+  static member mkFs () = fsharp.Class()
+// so long https://github.com/dotnet/fsharp/issues/8351 isn't fixed, Prop1 setters are failing
+let a = csharp.Class(Prop1=1)
+let b = basic.BasicClass(Prop1=1)
+let c = fsharp.Class(Prop1=1)
+
+let aa = Maker.mkCs(Prop1=1)
+let bb = Maker.mkVb(Prop1=1)
+let cc = Maker.mkFs(Prop1=1)
+
+// those are expected to fail, albeit with inconsistent error messages / marked ranges
+let aaa = csharp.Class(Prop2=1)
+let bbb = basic.BasicClass(Prop2=1)
+let ccc = fsharp.Class(Prop2=1)
+
+let aaaa = Maker.mkCs(Prop2=1)
+let bbbb = Maker.mkVb(Prop2=1)
+let cccc = Maker.mkFs(Prop2=1)

tests/fsharp/core/members/set-only-property/cs.cs

@@ -2,6 +2,7 @@ namespace csharp
 {
     public class Class
     {
-        public int Prop { set; private get; }
-    }
+        public int Prop1 { set; private get; }
+        public int Prop2 { private set; get; }
+    }    
 }

tests/fsharp/core/members/set-only-property/fs.fs

@@ -1,17 +1,8 @@
+namespace fsharp
 type Class () =
   let mutable v = 0
-  member x.Prop with set(value) = v <- value
-                 and private get () = v
+  member x.Prop1 with set(value) = v <- value
+                  and private get () = v
 
-let a = csharp.Class(Prop=1)
-let b = basic.BasicClass(Prop=1)
-let c = Class(Prop=1)
-
-type Maker =
-  static member mkCs () = csharp.Class()
-  static member mkVb () = basic.BasicClass()
-  static member mkFs () = Class()
-
-let aa = Maker.mkCs(Prop=1)
-let bb = Maker.mkVb(Prop=1)
-let cc = Maker.mkFs(Prop=1)
+  member x.Prop2 with private set(value) = v <- value
+                  and public get () = v

tests/fsharp/core/members/set-only-property/vb.vb

@@ -1,13 +1,21 @@
 namespace basic
     public class BasicClass
        dim v as integer
-       public property Prop as integer
+       public property Prop1 as integer
           private get
               return v
           end get
           set(value as integer)
                v = value
           end set
        end property
+       public property Prop2 as integer
+           get
+               return v
+           end get
+           private set(value as integer)
+               v = value
+           end set
+       end property
     end class
 end namespace

tests/fsharp/tests.fs

@@ -288,7 +288,7 @@ module CoreTests =
 
             testOkFile.CheckExists()
         end
-    
+
     [<Test>]
     let span () =
 
@@ -1820,7 +1820,8 @@ module CoreTests =
         let cfg = testConfig "core/members/set-only-property"
         csc cfg @"%s /target:library /out:cs.dll" cfg.csc_flags ["cs.cs"]
         vbc cfg @"%s /target:library /out:vb.dll" cfg.vbc_flags ["vb.vb"]
-        fsc cfg @"%s -r:cs.dll -r:vb.dll -o:fs.exe" cfg.fsc_flags ["fs.fs"]
+        fsc cfg @"%s /target:library /out:fs.dll" cfg.fsc_flags ["fs.fs"]
+        singleNegTest cfg "calls"
 
 #endif