I did not have the time to look at contracts in depth so far kotlinlang #announcements

I did not have the time to look at contracts in de...

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?