migrate (as a separate copy) fsharpqa tests that are going to be impacted by dotnet#6596

the baseline files are empty on purpose, expecting CI failure reporting those tests, I intend to update the baseline and clean up the comments / xml tags from fsharpqa syntax in later commit, and then remove those specific tests altogether from fsharpqa if this is OK with the maintainers.

Author: smoothdeveloper

tests/fsharp/conformance/expressions/syntacticsugar/E_Slices01.bsl

@@ -0,0 +1,30 @@
+// #Regression #Conformance #SyntacticSugar 
+#light
+
+// Verify errors related to ambiguous slicing overloads
+//<Expects id="FS0041" status="error" span="(22,9)">A unique overload for method 'GetSlice' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: member Foo\.GetSlice : x:int \* y1:int option \* y2:float option -> unit, member Foo\.GetSlice : x:int \* y1:int option \* y2:int option -> unit</Expects>
+//<Expects id="FS0041" status="error" span="(23,9)">A unique overload for method 'GetSlice' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: member Foo\.GetSlice : x:int \* y1:int option \* y2:float option -> unit, member Foo\.GetSlice : x:int \* y1:int option \* y2:int option -> unit</Expects>
+//<Expects id="FS0041" status="error" span="(24,9)">A unique overload for method 'GetSlice' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: member Foo\.GetSlice : x1:float option \* x2:int option \* y:int -> unit, member Foo\.GetSlice : x1:int option \* x2:int option \* y:int -> unit</Expects>
+//<Expects id="FS0041" status="error" span="(25,9)">A unique overload for method 'GetSlice' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: member Foo\.GetSlice : x1:float option \* x2:int option \* y:int -> unit, member Foo\.GetSlice : x1:int option \* x2:int option \* y:int -> unit</Expects>
+//<Expects id="FS0039" status="error" span="(26,9)">The field, constructor or member 'Item' is not defined</Expects>
+//<Expects id="FS0503" status="error" span="(27,9)">A member or object constructor 'GetSlice' taking 4 arguments is not accessible from this code location\. All accessible versions of method 'GetSlice' take 3 arguments\.</Expects>
+//<Expects id="FS0503" status="error" span="(28,9)">A member or object constructor 'GetSlice' taking 5 arguments is not accessible from this code location\. All accessible versions of method 'GetSlice' take 3 arguments\.</Expects>
+
+type Foo<'a>() =
+    member this.GetSlice(x : int, y1 : int option, y2 : int option) = ()
+    member this.GetSlice(x : int, y1 : int option, y2 : float option) = ()
+    member this.GetSlice(x1 : float option, x2 : int option, y : int) = ()
+    member this.GetSlice(x1 : int option,   x2 : int option, y : int) = ()
+
+
+let f = new Foo<char>()
+
+let _ = f.[2, 1..]
+let _ = f.[2, *]
+let _ = f.[..1, 2]
+let _ = f.[*, 2]
+let _ = f.[3, 4]
+let _ = f.[1, *, Some(5)]
+let _ = f.[1, *, *]
+
+exit 1

tests/fsharp/conformance/expressions/syntacticsugar/E_Slices01.fsx

@@ -0,0 +1,14 @@
+// #Regression #TypeInference 
+// Regression for FSHARP1.0:5749
+// Better error message for overload resolution to help ease pain associated with mismatch of intellisense information
+
+
+let array = [| "Ted"; "Katie"; |]
+Array.iter (fun it -> System.Console.WriteLine(it))
+
+Array.iter (fun it -> System.Console.WriteLine(it)) array
+
+array |> Array.iter (fun it -> System.Console.WriteLine(it))
+
+//<Expects status="error" span="(7,23-7,51)" id="FS0041">A unique overload for method 'WriteLine' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: System\.Console\.WriteLine\(buffer: char \[\]\) : unit, System\.Console\.WriteLine\(format: string, \[<System\.ParamArray>\] arg: obj \[\]\) : unit, System\.Console\.WriteLine\(value: bool\) : unit, System\.Console\.WriteLine\(value: char\) : unit, System\.Console\.WriteLine\(value: decimal\) : unit, System\.Console\.WriteLine\(value: float\) : unit, System\.Console\.WriteLine\(value: float32\) : unit, System\.Console\.WriteLine\(value: int\) : unit, System\.Console\.WriteLine\(value: int64\) : unit, System\.Console\.WriteLine\(value: obj\) : unit, System\.Console\.WriteLine\(value: string\) : unit, System\.Console\.WriteLine\(value: uint32\) : unit, System\.Console\.WriteLine\(value: uint64\) : unit$</Expects>
+//<Expects status="error" span="(9,23-9,51)" id="FS0041">A unique overload for method 'WriteLine' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: System\.Console\.WriteLine\(buffer: char \[\]\) : unit, System\.Console\.WriteLine\(format: string, \[<System\.ParamArray>\] arg: obj \[\]\) : unit, System\.Console\.WriteLine\(value: bool\) : unit, System\.Console\.WriteLine\(value: char\) : unit, System\.Console\.WriteLine\(value: decimal\) : unit, System\.Console\.WriteLine\(value: float\) : unit, System\.Console\.WriteLine\(value: float32\) : unit, System\.Console\.WriteLine\(value: int\) : unit, System\.Console\.WriteLine\(value: int64\) : unit, System\.Console\.WriteLine\(value: obj\) : unit, System\.Console\.WriteLine\(value: string\) : unit, System\.Console\.WriteLine\(value: uint32\) : unit, System\.Console\.WriteLine\(value: uint64\) : unit$</Expects>

tests/fsharp/conformance/inference/E_Clashing_Values_in_AbstractClass01.bsl

@@ -0,0 +1,65 @@
+// #Regression #TypeInference 
+// Regression test for FSHARP1.0:4758
+// Type Inference
+// Check Method Disambiguation When User Generic Variable Get Instantiated By Overload Resolution
+
+// These different return types are used to determine which overload got chosen
+type One = | One
+type Two = | Two
+type Three = | Three
+type Four = | Four
+
+// An unsealed type
+type C() = 
+    member x.P = 1
+    
+type C1 =
+    static member M<'a>(x:'a,y:'a) = One
+
+type C2 =
+    static member M<'a,'b>(x:'a,y:'b) = Two
+
+type C3 =    
+    static member M<'a>(x:'a,y:int) = Three
+
+type C4 =    
+    static member M<'a>(x:'a,y:C) = Four
+
+type C12 =
+    static member M<'a>(x:'a,y:'a) = One
+    static member M<'a,'b>(x:'a,y:'b) = Two
+
+type C23 =
+    static member M<'a,'b>(x:'a,y:'b) = Two
+    static member M<'a>(x:'a,y:int) = Three
+
+type C13 =
+    static member M<'a>(x:'a,y:'a) = One
+    static member M<'a>(x:'a,y:int) = Three
+
+type C14 =
+    static member M<'a>(x:'a,y:'a) = One
+    static member M<'a>(x:'a,y:C) = Four
+
+type C24 =
+    static member M<'a,'b>(x:'a,y:'b) = Two
+    static member M<'a>(x:'a,y:C) = Four
+
+type C123 =
+    static member M<'a>(x:'a,y:'a) = One
+    static member M<'a,'b>(x:'a,y:'b) = Two
+    static member M<'a>(x:'a,y:int) = Three
+
+type C1234 =
+    static member M<'a>(x:'a,y:'a) = One
+    static member M<'a,'b>(x:'a,y:'b) = Two
+    static member M<'a>(x:'a,y:int) = Three
+    static member M<'a>(x:'a,y:C) = Four
+
+module M3 =
+    let gB23    (x:'a) (y:int) = C23.M(x,y)           // expect: ambiguity error
+    let gB123   (x:'a) (y:int) = C123.M(x,y)          // expect: ambiguous on 2,3
+
+//<Expects status="error" span="(60,34-60,44)" id="FS0041">A unique overload for method 'M' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: static member C23\.M : x:'a \* y:'b -> Two, static member C23\.M : x:'a \* y:int -> Three$</Expects>
+//<Expects status="error" span="(61,34-61,45)" id="FS0041">A unique overload for method 'M' could not be determined based on type information prior to this program point\. A type annotation may be needed\. Candidates: static member C123\.M : x:'a \* y:'a -> One, static member C123\.M : x:'a \* y:'b -> Two, static member C123\.M : x:'a \* y:int -> Three$</Expects>
+