Update baselines

Author: auduchinok

tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/MemberDefinitions/MethodsAndProperties/MethodsAndProperties.fs

@@ -121,7 +121,9 @@ module MemberDefinitions_MethodsAndProperties =
             (Error 1, Line 11, Col 24, Line 11, Col 33, "This expression was expected to have type\n    ''a array2d'    \nbut here has type\n    'int array'    ")
             (Error 1, Line 12, Col 25, Line 12, Col 32, "This expression was expected to have type\n    ''a array'    \nbut here has type\n    'int array2d'    ")
             (Error 1, Line 13, Col 26, Line 13, Col 37, "This expression was expected to have type\n    ''a array'    \nbut here has type\n    'int array3d'    ")
+            (Error 1, Line 13, Col 32, Line 13, Col 35, "This expression was expected to have type\n    'int'    \nbut here has type\n    'int * int'    ")
             (Error 1, Line 14, Col 27, Line 14, Col 38, "This expression was expected to have type\n    ''a array'    \nbut here has type\n    'int array4d'    ")
+            (Error 1, Line 14, Col 33, Line 14, Col 36, "This expression was expected to have type\n    'int'    \nbut here has type\n    'int * int'    ")
         ]
 
     // SOURCE=E_IndexerArityMismatch02.fs     SCFLAGS="--test:ErrorRanges --flaterrors"	# E_IndexerArityMismatch02.fs

tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/TypeAbbreviations/TypeAbbreviations.fs

@@ -85,7 +85,6 @@ module TypeAbbreviations =
         |> shouldFail
         |> withDiagnostics [
             (Error 1, Line 16, Col 14, Line 16, Col 19, "A type parameter is missing a constraint 'when 'b :> IB'")
-            (Error 35, Line 16, Col 6, Line 16, Col 7, "This construct is deprecated: This type abbreviation has one or more declared type parameters that do not appear in the type being abbreviated. Type abbreviations must use all declared type parameters in the type being abbreviated. Consider removing one or more type parameters, or use a concrete type definition that wraps an underlying type, such as 'type C<'a> = C of ...'.")
         ]
 
     //SOURCE=E_DroppedTypeVariable01.fsx SCFLAGS="--test:ErrorRanges -a"                                        # E_DroppedTypeVariable01.fsx

tests/FSharp.Compiler.ComponentTests/Conformance/Constraints/Unmanaged.fs

@@ -69,7 +69,9 @@ let _ = Test<DoubleType<DoubleType<int option>>>()
         |> shouldFail
         |> withDiagnostics [
                    Error 1, Line 10, Col 9, Line 10, Col 33, "A generic construct requires that the type 'DoubleType<string>' is an unmanaged type"
-                   Error 1, Line 11, Col 9, Line 11, Col 49, "A generic construct requires that the type 'DoubleType<DoubleType<int option>>' is an unmanaged type" ]
+                   Error 1, Line 11, Col 9, Line 11, Col 49, "A generic construct requires that the type 'DoubleType<DoubleType<int option>>' is an unmanaged type"
+                   Error 688, Line 11, Col 9, Line 11, Col 51, "The default, zero-initializing constructor of a struct type may only be used if all the fields of the struct type admit default initialization"
+        ]
 
     [<Fact>]
     let ``voption considered unmanaged when inner type is unmanaged`` () = 
@@ -348,7 +350,9 @@ let _ = Test<MyDu<int,MyDu<int,string voption>>>()
                        Error 193, Line 26, Col 24, Line 26, Col 36, "A generic construct requires that the type 'A<'T,obj>' is an unmanaged type"
                        Error 1, Line 27, Col 9, Line 27, Col 18, "A generic construct requires that the type 'obj' is an unmanaged type"
                        Error 1, Line 28, Col 9, Line 28, Col 28, "A generic construct requires that the type 'NonStructRecd' is an unmanaged type"
-                       Error 1, Line 29, Col 9, Line 29, Col 49, "A generic construct requires that the type 'string' is an unmanaged type" ]
+                       Error 688, Line 28, Col 9, Line 28, Col 30, "The default, zero-initializing constructor of a struct type may only be used if all the fields of the struct type admit default initialization"
+                       Error 1, Line 29, Col 9, Line 29, Col 49, "A generic construct requires that the type 'string' is an unmanaged type"
+         ]
 
     [<Fact>]
     let ``Disallow both 'unmanaged' and 'not struct' constraints`` () =

tests/FSharp.Compiler.ComponentTests/Conformance/Expressions/ObjectExpressions/ObjectExpressions.fs

@@ -520,7 +520,7 @@ but here has type
     'AsString'    
 but here has type
     'SomeDu'    "
-            Warning 25, Line 30, Col 19, Line 30, Col 23, "Incomplete pattern matches on this expression."]
+         ]
 
     [<Fact>]
     let ``Object expression implementing multiple interfaces`` () =

tests/FSharp.Compiler.ComponentTests/Conformance/PatternMatching/ConsList/ConsList.fs

@@ -46,10 +46,13 @@ but here has type
         |> withOptions ["--test:ErrorRanges"]
         |> typecheck
         |> shouldFail
-        |> withSingleDiagnostic (Error 1, Line 15, Col 22, Line 15, Col 24, "This expression was expected to have type
-    'int'    
-but here has type
-    ''a list'    ")
+        |> withDiagnostics [
+            (Error 1, Line 15, Col 22, Line 15, Col 24, "This expression was expected to have type\n    'int'    \nbut here has type\n    ''a list'    ")
+            (Error 1, Line 16, Col 14, Line 16, Col 16, "This expression was expected to have type\n    'int'    \nbut here has type\n    ''a list'    ")
+            (Warning 25, Line 13, Col 11, Line 13, Col 12, "Incomplete pattern matches on this expression. For example, the value '[_]' may indicate a case not covered by the pattern(s).")
+            (Warning 26, Line 15, Col 7, Line 15, Col 18, "This rule will never be matched")
+            (Warning 26, Line 16, Col 7, Line 16, Col 24, "This rule will never be matched")
+        ]
 
     // This test was automatically generated (moved from FSharpQA suite - Conformance/PatternMatching/ConsList)
     [<Theory; FileInlineData("OutsideMatch01.fs")>]

tests/FSharp.Compiler.ComponentTests/Conformance/Types/RecordTypes/AnonymousRecords.fs

@@ -238,6 +238,7 @@ let x() = ({| b = 2; c = 3 |} = {| a = 2; d = "" |} )
         |> shouldFail
         |> withDiagnostics [
             (Error 1, Line 2, Col 33, Line 2, Col 52, "This anonymous record should have fields 'b', 'c'; but here has fields 'a', 'd'.")
+            (Error 1, Line 2, Col 47, Line 2, Col 49, "This expression was expected to have type\n    'int'    \nbut here has type\n    'string'    ")
         ]
 
     [<Fact>]

tests/FSharp.Compiler.ComponentTests/Conformance/Types/RecordTypes/RecordTypes.fs

@@ -130,6 +130,9 @@ module RecordTypes =
         |> shouldFail
         |> withDiagnostics [
             (Error 1, Line 7, Col 17, Line 7, Col 47, "This expression was expected to have type\n    'int array'    \nbut here has type\n    'RecType'    ")
+            (Error 786, Line 7, Col 17, Line 7, Col 47, "The expression form { expr with ... } may only be used with record types. To build object types use { new Type(...) with ... }");
+            (Error 791, Line 7, Col 17, Line 7, Col 47, "This type is not a record type");
+            (Error 763, Line 7, Col 17, Line 7, Col 47, "The field 'B' has been given a value, but is not present in the type 'int array'")
         ]
 
     // SOURCE=E_RecordsNotNull01.fs                                                             # E_RecordsNotNull01.fs

tests/FSharp.Compiler.ComponentTests/ErrorMessages/ConstructorTests.fs

@@ -31,6 +31,8 @@ let x = { Name = "Isaac", Age = 21, City = "London" }
         |> shouldFail
         |> withDiagnostics [
             (Error 1,   Line 3, Col 18, Line 3, Col 52, "This expression was expected to have type\n    'string'    \nbut here has type\n    ''a * 'b * 'c'    " + System.Environment.NewLine + "A ';' is used to separate field values in records. Consider replacing ',' with ';'.")
+            (Error 39,  Line 3, Col 27, Line 3, Col 30, "The value or constructor 'Age' is not defined.")
+            (Error 39,  Line 3, Col 37, Line 3, Col 41, "The value or constructor 'City' is not defined.")
             (Error 764, Line 3, Col 9,  Line 3, Col 54, "No assignment given for field 'Age' of type 'Test.Person'")]
 
     [<Fact>]

tests/FSharp.Compiler.ComponentTests/ErrorMessages/ElseBranchHasWrongTypeTests.fs

@@ -119,8 +119,10 @@ let y =
         """
         |> typecheck
         |> shouldFail
-        |> withSingleDiagnostic (Error 1, Line 7, Col 14, Line 7, Col 22,
-                                 "This expression was expected to have type\n    'int'    \nbut here has type\n    'string'    ")
+        |> withDiagnostics [
+            (Error 1, Line 7, Col 14, Line 7, Col 22, "This expression was expected to have type\n    'int'    \nbut here has type\n    'string'    ")
+            (Error 1, Line 8, Col 26, Line 8, Col 27, "This expression was expected to have type\n    'string'    \nbut here has type\n    'int'    ")
+        ]
 
     [<Fact>]
     let ``Else branch context doesn't propagate to lines before last line``() =

tests/FSharp.Compiler.ComponentTests/ErrorMessages/TypeMismatchTests.fs

@@ -292,7 +292,10 @@ type Derived3() =
         |> withDiagnostics [
                 (Error 856, Line 8,  Col 16, Line 8,  Col 22, "This override takes a different number of arguments to the corresponding abstract member. The following abstract members were found:" + System.Environment.NewLine + "   abstract Base.Member: int * string -> string")
                 (Error 856, Line 12, Col 16, Line 12, Col 22, "This override takes a different number of arguments to the corresponding abstract member. The following abstract members were found:" + System.Environment.NewLine + "   abstract Base.Member: int * string -> string")
-                (Error 1,   Line 16, Col 24, Line 16, Col 34, "This expression was expected to have type\n    'int'    \nbut here has type\n    'string'    ")]
+                (Error 1,   Line 16, Col 24, Line 16, Col 34, "This expression was expected to have type\n    'int'    \nbut here has type\n    'string'    ")
+                (Error 1, Line 16, Col 36, Line 16, Col 43, "This expression was expected to have type\n    'string'    \nbut here has type\n    'int'    ");
+                (Error 1, Line 16, Col 66, Line 16, Col 67, "This expression was expected to have type\n    'string'    \nbut here has type\n    'int'    ")
+        ]
 
     [<Fact>]
     let ``Interface member with tuple argument should give error message with better solution``() =