Add tests for type role errors

Author: purefunctor

crates/indexing/tests/indexing.rs

@@ -87,6 +87,7 @@ fn duplicate_expr_item() {
         "foreign import eq :: forall a. a -> a -> Bool",
         "instance ord :: Ord a",
         "ord :: forall a. a -> a -> Comparison",
+        "ord = ordImpl",
         "data Data = Id Int",
         "newtype Newtype = Id Int",
     ]);
@@ -103,7 +104,9 @@ fn duplicate_type_item() {
         "type Data = Type",
         "newtype Newtype = Constructor2",
         "data Newtype = Constructor3",
-        "data Newtype :: Type"
+        "data Newtype :: Type",
+        "data Id = Constructor4",
+        "data Id = Constructor5"
     ]);
     insta::assert_debug_snapshot!(errors);
 }
@@ -169,3 +172,16 @@ fn type_late_signature() {
     ]);
     insta::assert_debug_snapshot!(errors);
 }
+
+#[test]
+fn type_role_errors() {
+    let (_, _, errors) = index([
+        "class Eq a",
+        "type role Eq representational",
+        "type role Ord representational",
+        "newtype Id :: Type -> Type",
+        "type role Id nominal",
+        "type role Id phantom",
+    ]);
+    insta::assert_debug_snapshot!(errors);
+}

crates/indexing/tests/snapshots/indexing__duplicate_expr_item.snap

@@ -1,6 +1,7 @@
 ---
 source: crates/indexing/tests/indexing.rs
 expression: errors
+snapshot_kind: text
 ---
 [
     DuplicateExprItem {
@@ -43,6 +44,16 @@ expression: errors
             ),
         ),
     },
+    DuplicateExprItem {
+        item_id: Id(
+            1,
+        ),
+        duplicate: Declaration(
+            Id(
+                6,
+            ),
+        ),
+    },
     DuplicateExprItem {
         item_id: Id(
             2,

crates/indexing/tests/snapshots/indexing__duplicate_type_item.snap

@@ -1,6 +1,7 @@
 ---
 source: crates/indexing/tests/indexing.rs
 expression: errors
+snapshot_kind: text
 ---
 [
     DuplicateTypeItem {
@@ -63,4 +64,12 @@ expression: errors
             ),
         ),
     },
+    DuplicateDeclaration {
+        declaration: Id(
+            8,
+        ),
+        duplicate: Id(
+            9,
+        ),
+    },
 ]

crates/indexing/tests/snapshots/indexing__type_role_errors.snap

@@ -0,0 +1,35 @@
+---
+source: crates/indexing/tests/indexing.rs
+expression: errors
+snapshot_kind: text
+---
+[
+    InvalidRole {
+        role: Id(
+            1,
+        ),
+    },
+    EmptyRole {
+        role: Id(
+            2,
+        ),
+    },
+    EmptyRole {
+        role: Id(
+            4,
+        ),
+    },
+    EmptyRole {
+        role: Id(
+            5,
+        ),
+    },
+    DuplicateDeclaration {
+        declaration: Id(
+            4,
+        ),
+        duplicate: Id(
+            5,
+        ),
+    },
+]