The current technical limitation is that it can't ...

# announcements

[mplatvoet]

The current technical limitation is that it can't be proven on the call site that block will be executed. A simple example case would be, even for inline methods, if run is defined as:

fun run(body: () -> Unit) {
  if(random.nextInt(2) == 1) body()
}