test: parameter that is only referenced in bound is still unused

Safe-DS · Feb 22, 2024 · a59c551 · a59c551
1 parent b611b44
commit a59c551
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/...lang/tests/resources/validation/other/declarations/segments/unused parameter/main.sdstest b/...lang/tests/resources/validation/other/declarations/segments/unused parameter/main.sdstest
@@ -3,9 +3,13 @@ package tests.validation.other.declarations.segments.unusedParameters
 segment mySegment(
     // $TEST$ warning "This parameter is unused and can be removed."
     »unused«: Int,
+    // $TEST$ warning "This parameter is unused and can be removed."
+    »onlyHasBound«: Int,
     // $TEST$ no warning "This parameter is unused and can be removed."
     »used«: Int
-) {
+) where {
+    onlyHasBound < 0
+} {
     used;
 
     /*