Failing test

compiler-core/src/type_/tests/snapshots/gleam_core__type___tests__warnings__different_records_0_redundant_comparison.snap

···
+---
+source: compiler-core/src/type_/tests/warnings.rs
+assertion_line: 4131
+expression: "\npub type Either {\n  Left\n  Right\n}\n\npub fn main() -> Bool {\n  Left == Right\n}\n"
+snapshot_kind: text
+---
+----- SOURCE CODE
+
+pub type Either {
+  Left
+  Right
+}
+
+pub fn main() -> Bool {
+  Left == Right
+}
+
+
+----- WARNING
+warning: Redundant comparison
+  ┌─ /src/warning/wrn.gleam:8:3
+  │
+8 │   Left == Right
+  │   ^^^^^^^^^^^^^ This is always `False`
+
+This comparison is redundant since it always fails.

compiler-core/src/type_/tests/warnings.rs

···
 "
     );
 }
+
+#[test]
+fn different_records_0_redundant_comparison() {
+    assert_warning!(
+        "
+pub type Either {
+  Left
+  Right
+}
+
+pub fn main() -> Bool {
+  Left == Right
+}
+"
+    );
+}
+
+#[test]
+fn different_records_1_redundant_comparison() {
+    assert_warning!(
+        "
+pub type Either {
+  Left(Int)
+  Right
+}
+
+pub fn main() -> Bool {
+  Left(1) == Right
+}
+"
+    );
+}
+
+#[test]
+fn different_records_2_redundant_comparison() {
+    assert_warning!(
+        "
+pub type Either {
+  Left(Int)
+  Right(Int)
+}
+
+pub fn main() -> Bool {
+  Left(1) == Right(1)
+}
+"
+    );
+}