Seems they are cheating quite badly: https://github.com/orangy/squash/blob/master/squash-core/src/kotlin/internal/InferenceAnnotations.kt