Update test affected by ProperTypeInferenceConstraintsProcessing feature

This commit is contained in:
Mikhael Bogdanov
2021-07-01 10:48:05 +02:00
committed by Space
parent 392dce9a40
commit 5f53a2071d
2 changed files with 3 additions and 0 deletions
+2
View File
@@ -1,3 +1,5 @@
// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
sealed class Subtype<A1, B1> {
abstract fun cast(value: A1): B1
class Trivial<A2 : B2, B2> : Subtype<A2, B2>() {
@@ -1,3 +1,4 @@
// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
// TARGET_BACKEND: JVM
// WITH_RUNTIME
// !DIAGNOSTICS: -UNUSED_PARAMETER -CAST_NEVER_SUCCEEDS