Upgrade to Kotlin 1.3.7x or 1.4x

[rachelcarmena]

It seems it's not possible because of all external symbols appear unbound in IR right now.

Tasks:

• Upgrade

• Enable the bot again (just checking compilation right now)

[rachelcarmena]

Last errors with 1.4x hided the new 1.3.72 Kotlin version. Let's try it!

[rachelcarmena]

1.3.72 doesn't fix IR problem.

[iirekm]

+1

in particular I get:

java.lang.NoSuchMethodError: 'org.jetbrains.kotlin.com.intellij.openapi.extensions.impl.ExtensionPointImpl[] org.jetbrains.kotlin.com.intellij.openapi.extensions.impl.ExtensionsAreaImpl.getExtensionPoints()'
	at arrow.meta.internal.registry.InternalRegistry$DefaultImpls.registerMetaComponents(InternalRegistry.kt:132)
	at arrow.meta.Meta$DefaultImpls.registerMetaComponents(Meta.kt)

[rachelcarmena]

Pending features with Kotlin 1.4.10:

• TypeClassesTest > polymorphic constrain - Issue: ExtensionProof Error #739
• Kinds > Platform types can be kinded ad-hoc by proof - Issue: Missing substituted type, dispatch and receiver info in Kinds Test Error #749

It's necessary to continue reviewing these cases in the next versions.

[rachelcarmena]

Solved #706