Couple of unhappy path

Author: krishnangovindraj

query/analyze/structure.feature

@@ -239,3 +239,62 @@ Feature: Basic Analyze queries
     ])
     """
     Given transaction closes
+
+  # Unhappy path
+
+  Scenario: Unsatisfiable schema queries still return
+    Given connection open schema transaction for database: typedb
+    Given typeql schema query
+      """
+      define
+      relation new-relation, relates new-role;
+      """
+    Given transaction commits
+
+    Given connection open read transaction for database: typedb
+    When get answers of typeql analyze query
+    """
+    match
+     $p sub! person;
+    """
+    Then analyzed query pipeline structure is:
+    """
+    Pipeline([
+      Match(
+        [SubExact($p, person)]
+      )
+    ])
+    """
+
+    When get answers of typeql analyze query
+    """
+    match
+     $r sub friendship, relates new-role;
+    """
+    Then analyzed query pipeline structure is:
+    """
+    Pipeline([
+      Match(
+        [Sub($r, friendship), Relates($r, new-role)]
+      )
+    ])
+    """
+
+    Given transaction closes
+
+
+  Scenario: Errors in the query are returned as errors
+    Given connection open read transaction for database: typedb
+    When typeql analyze query; parsing fails
+    """
+    match
+     This isnt valid TypeQL;
+    """
+
+    When typeql analyze query; fails with a message containing: "Type-inference was unable to find compatible types for the pair of variables 'x' & 'p' across a constraint"
+    """
+    match
+     $p sub! person; $x isa! $p;
+    """
+    Given transaction closes
+