From 672634c8ef3161a8c3e0102d69af38433a568991 Mon Sep 17 00:00:00 2001
From: Neal Gafter <neal@gafter.com>
Date: Wed, 2 Mar 2016 21:41:46 -0800
Subject: [PATCH] Add test for goto definition on a property pattern's member
 name. Closes #9072

---
 .../GoToDefinition/GoToDefinitionTests.vb     | 73 +++++++++++++++++++
 1 file changed, 73 insertions(+)

diff --git a/src/EditorFeatures/Test2/GoToDefinition/GoToDefinitionTests.vb b/src/EditorFeatures/Test2/GoToDefinition/GoToDefinitionTests.vb
index a137aab2a47ae..0defecb4d3840 100644
--- a/src/EditorFeatures/Test2/GoToDefinition/GoToDefinitionTests.vb
+++ b/src/EditorFeatures/Test2/GoToDefinition/GoToDefinitionTests.vb
@@ -632,6 +632,79 @@ class C
             Await TestAsync(workspace)
         End Function
 
+        <WpfFact, Trait(Traits.Feature, Traits.Features.GoToDefinition), WorkItem(9072, "https://github.com/dotnet/roslyn/issues/9072")>
+        Public Async Function TestCSharpGoToDefinitionFromPatternType01() As Task
+            Dim workspace =
+<Workspace>
+    <Project Language="C#" CommonReferences="true">
+        <Document><![CDATA[
+    public class Expression { }
+    public class Constant : Expression
+    {
+        public readonly int Value;
+        public Constant(int Value)
+        {
+            this.Value = Value;
+        }
+    }
+    public class Plus : Expression
+    {
+        public readonly Expression [|Left|], Right;
+        public Plus(Expression Left, Expression Right)
+        {
+            this.Left = Left;
+            this.Right = Right;
+        }
+    }
+    public class X
+    {
+        public static void Main()
+        {
+            Expression expr = null;
+            if (expr is Plus { $$Left is Plus })
+            ]]>
+        </Document>
+    </Project>
+</Workspace>
+            Await TestAsync(workspace)
+        End Function
+
+        <WpfFact, Trait(Traits.Feature, Traits.Features.GoToDefinition), WorkItem(9072, "https://github.com/dotnet/roslyn/issues/9072")>
+        Public Async Function TestCSharpGoToDefinitionFromPatternType02() As Task
+            Dim workspace =
+<Workspace>
+    <Project Language="C#" CommonReferences="true">
+        <Document><![CDATA[
+    public class Expression { }
+    public class Constant : Expression
+    {
+        public readonly int Value;
+        public Constant(int Value)
+        {
+            this.Value = Value;
+        }
+    }
+    public class Plus : Expression
+    {
+        public Expression [|Left|] => null;
+        public Plus(Expression Left)
+        {
+            this.Left = Left;
+        }
+    }
+    public class X
+    {
+        public static void Main()
+        {
+            Expression expr = null;
+            if (expr is Plus { $$Left is Plus })
+            ]]>
+        </Document>
+    </Project>
+</Workspace>
+            Await TestAsync(workspace)
+        End Function
+
 #End Region
 
 #Region "CSharp Venus Tests"