plugins/plugin-sandbox/testData/diagnostics/checkers/dependencyWithoutAttributePlugin.kt

// RUN_PIPELINE_TILL: FRONTEND
import org.jetbrains.kotlin.plugin.sandbox.*

fun takePositive(x: @Positive Number) {}
fun takeNegative(x: @Negative Number) {}
fun takeAny(x: Number) {}

fun test_1(
    positiveInt: @Positive Int,
    negativeInt: @Negative Int,
    someInt: Int
) {
    consumePositiveInt(positiveInt)
    consumePositiveInt(<!ILLEGAL_NUMBER_SIGN!>negativeInt<!>) // should be error
    consumePositiveInt(<!ILLEGAL_NUMBER_SIGN!>someInt<!>) // should be error
}

fun test_2() {
    val x = producePositiveInt()
    takePositive(x)
    takeNegative(<!ILLEGAL_NUMBER_SIGN!>x<!>) // should be error
    takeAny(x)
}

fun test_3() {
    val x = produceBoxedPositiveInt().value
    takePositive(x)
    takeNegative(<!ILLEGAL_NUMBER_SIGN!>x<!>) // should be error
    takeAny(x)
}

/* GENERATED_FIR_TAGS: functionDeclaration, localProperty, propertyDeclaration */