Sync: Kotlin DEV version = 1.4.0-dev-9304

[github-actions[bot]]

I've found this error:

• VERSIONS: Kotlin DEV version = 1.4.0-dev-9304

• NOTE: If you want to reproduce the error in a local environment, replace the versions in gradle.properties file and add https://dl.bintray.com/kotlin/kotlin-dev/ repository in build.gradle.

• ERROR LOG: https://github.com/arrow-kt/arrow-meta/commit/36837d48d1dd314dd0f3f5a6cfd048718c1d9f1f/checks

• ERROR:

e: /home/runner/work/arrow-meta/arrow-meta/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/resolve/scopes/ProofsScopeTower.kt: (30, 1): Class 'ProofsScopeTower' is not abstract and does not implement abstract member public abstract fun interceptFunctionCandidates(resolutionScope: ResolutionScope, name: Name, initialResults: Collection, location: LookupLocation, dispatchReceiver: ReceiverValueWithSmartCastInfo?, extensionReceiver: ReceiverValueWithSmartCastInfo?): Collection defined in org.jetbrains.kotlin.resolve.calls.tower.ImplicitScopeTower e: /home/runner/work/arrow-meta/arrow-meta/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/resolve/scopes/ProofsScopeTower.kt: (53, 3): 'interceptCandidates' overrides nothing

FAILURE: Build failed with an exception.

• What went wrong: Execution failed for task ':compiler-plugin:compileKotlin'.

  Compilation error. See log for more details

• Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

• Get more help at https://help.gradle.org

BUILD FAILED in 58s

[rachelcarmena]

Solved via #650

[rachelcarmena]

Checked :heavy_check_mark: It's just worked OK right now.