tests

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Ands pat 01.fs

@@ -0,0 +1,5 @@
+module Module
+
+let (|Bool|) (x: int) = true
+
+let f (x{caret} & Bool(_)) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Ands pat 01.fs.gold

@@ -0,0 +1,5 @@
+module Module
+
+let (|Bool|) (x: int) = true
+
+let f (x: int{caret} & Bool(_)) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/As pat 01.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (x, y as z{caret}) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/As pat 01.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (x, y as (z: 'a * 'b){caret}) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Lambda 01.fs

@@ -0,0 +1,3 @@
+module Module
+
+fun x{caret} -> x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Lambda 01.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+fun (x: int){caret} -> x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Parameter 01.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f x{caret} = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Parameter 01.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (x: int){caret} = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Parameter 02 - Optional.fs

@@ -0,0 +1,4 @@
+module Module
+
+type A =
+    member _.M1(?x{caret}) = x.Value + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Parameter 02 - Optional.fs.gold

@@ -0,0 +1,4 @@
+module Module
+
+type A =
+    member _.M1(?x: int{caret}) = x.Value + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Record field 01.fs

@@ -0,0 +1,5 @@
+module Module
+
+type R = { A: int }
+
+let f { A = a{caret} } = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Record field 01.fs.gold

@@ -0,0 +1,5 @@
+module Module
+
+type R = { A: int }
+
+let f { A = (a: int){caret} } = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 01.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (a{caret}, b) = a + b

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 01.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (a: int{caret}, b) = a + b

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 02 - Top level.fs

@@ -0,0 +1,3 @@
+module Module
+
+let a, b{caret} = 1, 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 02 - Top level.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let a, (b: int){caret} = 1, 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 03 - As.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (x{caret}, y as z) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Tuple 03 - As.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (x: 'a{caret}, y as z) = ()

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 01.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some(x{caret})) = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 01.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some(x: int{caret})) = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 02 - Named.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some(Value = x{caret})) = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 02 - Named.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some(Value = (x: int){caret})) = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 03 - Parens.fs

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some x{caret}) = x + 1

ReSharper.FSharp/test/data/features/intentions/specifyTypes/patterns/Union case 03 - Parens.fs.gold

@@ -0,0 +1,3 @@
+module Module
+
+let f (Some(x: int){caret}) = x + 1

ReSharper.FSharp/test/src/FSharp.Intentions.Tests/src/Intentions/SpecifyTypesTest.fs

@@ -58,6 +58,31 @@ type SpecifyFunctionTypesActionTest() =
     [<Test>] member x.``Function - Recursive - Function 04`` () = x.DoNamedTest()
 
 
+type SpecifyPatternTypeActionTest() =
+    inherit FSharpContextActionExecuteTestBase<PatternAnnotationAction>()
+
+    override x.ExtraPath = "specifyTypes/patterns"
+
+    [<Test>] member x.``Parameter 01``() = x.DoNamedTest()
+    [<Test>] member x.``Parameter 02 - Optional``() = x.DoNamedTest()
+
+    [<Test>] member x.``Lambda 01``() = x.DoNamedTest()
+
+    [<Test>] member x.``Tuple 01``() = x.DoNamedTest()
+    [<Test>] member x.``Tuple 02 - Top level``() = x.DoNamedTest()
+    [<Test>] member x.``Tuple 03 - As``() = x.DoNamedTest()
+
+    [<Test>] member x.``Record field 01``() = x.DoNamedTest()
+
+    [<Test>] member x.``Union case 01``() = x.DoNamedTest()
+    [<Test>] member x.``Union case 02 - Named``() = x.DoNamedTest()
+    [<Test>] member x.``Union case 03 - Parens``() = x.DoNamedTest()
+
+    [<Test>] member x.``As pat 01``() = x.DoNamedTest()
+
+    [<Test>] member x.``Ands pat 01``() = x.DoNamedTest()
+
+
 type SpecifyTypesActionAvailabilityTest() =
     inherit FSharpContextActionAvailabilityTestBase<FunctionAnnotationAction>()