`shift` is declared as returning a value: ```suspend fun <B> shift(r: R): B``` I thought `shif...

# arrow

[CLOVIS]

shift is declared as returning a value:

suspend fun <B> shift(r: R): B

I thought shift could only ever short-circuit the operation (thus returning Nothing)? That's how I use it in my code, and IntelliJ warns with "Returning type parameter has been inferred to Nothing implicitly. Please specify type arguments explicitly to hide this warning."

[simon.vergauwen]

https://github.com/arrow-kt/arrow/pull/2839

This is planned to change for 2.x.x, discussions in PR.

[carbaj0]

Visual representation of the advantages of Nothing hehe