mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
32 lines
407 B
Kotlin
32 lines
407 B
Kotlin
sealed interface DbAddexpr
|
|
|
|
class Label<T> {
|
|
}
|
|
|
|
fun <T> getFreshIdLabel(): Label<T> {
|
|
return Label()
|
|
}
|
|
|
|
fun foo(): Label<DbAddexpr> {
|
|
val x = getFreshIdLabel<DbAddexpr>()
|
|
return x
|
|
}
|
|
|
|
fun main1() {
|
|
print(foo())
|
|
}
|
|
|
|
class Foo {
|
|
data class DC(val x: Int, val y: Int)
|
|
|
|
fun foo() {
|
|
val dc = DC(3, 4)
|
|
print(dc.x)
|
|
print(dc.y)
|
|
}
|
|
}
|
|
|
|
fun main2() {
|
|
Foo().foo()
|
|
}
|