stupid question maybe, but given this function ```...

# getting-started

[Michael de Kaste]

stupid question maybe, but given this function

fun <T : Number> test(n1: T, n2: T){ ... }

is it possible to make this illegal (one is int, other is double):

test(3, 3.0)

but this should be legal (both are int)

test(3, 4)

[Sam]

😬

@Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER")
fun <T : Number> test(n1: @kotlin.internal.Exact T, n2: @kotlin.internal.Exact T) { ... }

[Sam]

(the ugly suppression is because the @Exact annotation isn’t supposed to be accessible/usable by us mere mortals)

[Michael de Kaste]

ah yes that 'fixes' it on the call side

[Michael de Kaste]

but sadly, apparantly I needed more:

if(n1 is Int){
        n2 // should now also be inferred to be Int but is still a T
    }