or ``` Proof Subtyping inline fun lt reified A gt Union4 lt kotlinlang #arrow-contributors

or: ```@Proof(Subtyping) inline fun <reified A&...

raulraja

12/08/2019, 12:35 PM

or:

Copy code

@Proof(Subtyping)
inline fun <reified A> Union4<A, Any?, Any?, Any?>.firstN(): A?

2 Views