test: add test-case for unary of non-generic function

junlarsen · Feb 6, 2025 · 37453ff · 37453ff
1 parent 6159525
commit 37453ff
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/hir/type/unary-op-expr/unary-of-function-reference.eight b/tests/hir/type/unary-op-expr/unary-of-function-reference.eight
@@ -1 +1,15 @@
+// RUN: %not %eightc %s 2>&1 | %fc %s
 
+trait Neg<A, R> {
+  fn neg(a: A) -> R;
+}
+
+intrinsic_fn garbage(v: i32) -> i32;
+
+fn test(a: i32) -> i32 {
+  let k = -garbage;
+  return 0;
+}
+
+// CHECK-LABEL: sema::trait_missing_instance
+// CHECK: trait Neg does not have instance Neg<fn(i32) -> i32, _>