diff --git a/packages/safe-ds-lang/tests/resources/validation/other/declarations/segments/unused parameter/main.sdstest b/packages/safe-ds-lang/tests/resources/validation/other/declarations/segments/unused parameter/main.sdstest index 6dc16013e..aa0cdfdb4 100644 --- a/packages/safe-ds-lang/tests/resources/validation/other/declarations/segments/unused parameter/main.sdstest +++ b/packages/safe-ds-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; /*