https://kotlinlang.org logo
r

robstoll

10/10/2018, 1:23 PM
I did not have the time to look at contracts in depth so far but I guess someone here has. Would it be possible to define a
filter
function which safely turns a
Pair<L, R?>
into a
Pair<L, R>
without the usage of an unchecked cast?