From 4c1eedce3bce8ce4211322a5391853b1a0057af4 Mon Sep 17 00:00:00 2001 From: Svetlana Isakova Date: Thu, 2 Jul 2015 14:23:07 +0300 Subject: [PATCH] Added tests for incorporation with nullable type parameter --- .../nullable/contravariant/varEqDepEq.bounds | 23 ++ .../contravariant/varEqDepEq.constraints | 4 + .../nullable/contravariant/varEqDepSub.bounds | 23 ++ .../contravariant/varEqDepSub.constraints | 4 + .../contravariant/varEqDepSuper.bounds | 23 ++ .../contravariant/varEqDepSuper.constraints | 4 + .../nullable/contravariant/varSubDepEq.bounds | 23 ++ .../contravariant/varSubDepEq.constraints | 4 + .../contravariant/varSubDepSub.bounds | 23 ++ .../contravariant/varSubDepSub.constraints | 4 + .../contravariant/varSubDepSuper.bounds | 23 ++ .../contravariant/varSubDepSuper.constraints | 4 + .../contravariant/varSuperDepEq.bounds | 23 ++ .../contravariant/varSuperDepEq.constraints | 4 + .../contravariant/varSuperDepSub.bounds | 23 ++ .../contravariant/varSuperDepSub.constraints | 4 + .../contravariant/varSuperDepSuper.bounds | 23 ++ .../varSuperDepSuper.constraints | 4 + .../nullable/covariant/varEqDepEq.bounds | 23 ++ .../nullable/covariant/varEqDepEq.constraints | 4 + .../nullable/covariant/varEqDepSub.bounds | 23 ++ .../covariant/varEqDepSub.constraints | 4 + .../nullable/covariant/varEqDepSuper.bounds | 23 ++ .../covariant/varEqDepSuper.constraints | 4 + .../nullable/covariant/varSubDepEq.bounds | 23 ++ .../covariant/varSubDepEq.constraints | 4 + .../nullable/covariant/varSubDepSub.bounds | 23 ++ .../covariant/varSubDepSub.constraints | 4 + .../nullable/covariant/varSubDepSuper.bounds | 23 ++ .../covariant/varSubDepSuper.constraints | 4 + .../nullable/covariant/varSuperDepEq.bounds | 23 ++ .../covariant/varSuperDepEq.constraints | 4 + .../nullable/covariant/varSuperDepSub.bounds | 23 ++ .../covariant/varSuperDepSub.constraints | 4 + .../covariant/varSuperDepSuper.bounds | 23 ++ .../covariant/varSuperDepSuper.constraints | 4 + .../nullable/invariant/varEqDepEq.bounds | 23 ++ .../nullable/invariant/varEqDepEq.constraints | 4 + .../nullable/invariant/varEqDepSub.bounds | 23 ++ .../invariant/varEqDepSub.constraints | 4 + .../nullable/invariant/varEqDepSuper.bounds | 23 ++ .../invariant/varEqDepSuper.constraints | 4 + .../nullable/invariant/varSubDepEq.bounds | 23 ++ .../invariant/varSubDepEq.constraints | 4 + .../nullable/invariant/varSubDepSub.bounds | 23 ++ .../invariant/varSubDepSub.constraints | 4 + .../nullable/invariant/varSubDepSuper.bounds | 23 ++ .../invariant/varSubDepSuper.constraints | 4 + .../nullable/invariant/varSuperDepEq.bounds | 23 ++ .../invariant/varSuperDepEq.constraints | 4 + .../nullable/invariant/varSuperDepSub.bounds | 23 ++ .../invariant/varSuperDepSub.constraints | 4 + .../invariant/varSuperDepSuper.bounds | 23 ++ .../invariant/varSuperDepSuper.constraints | 4 + .../ConstraintSystemTestGenerated.java | 198 ++++++++++++++++++ 55 files changed, 927 insertions(+) create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds create mode 100644 compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds new file mode 100644 index 00000000000..9288e38c616 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P Consumer + +type parameter bounds: +T := Int, >: Int, <: Int? +P := Consumer*, := Consumer, <: Consumer, >: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints new file mode 100644 index 00000000000..3b81189be3a --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds new file mode 100644 index 00000000000..73a23b485b7 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P Consumer + +type parameter bounds: +T := Int +P <: Consumer*, <: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints new file mode 100644 index 00000000000..960d36fb28b --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds new file mode 100644 index 00000000000..b63d9d9b28d --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P Consumer + +type parameter bounds: +T := Int +P >: Consumer*, >: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints new file mode 100644 index 00000000000..b9b310e4a6d --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds new file mode 100644 index 00000000000..9a003bf92b4 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P Consumer + +type parameter bounds: +T <: Int, <: Int? +P := Consumer*, >: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints new file mode 100644 index 00000000000..7c34b1d8080 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds new file mode 100644 index 00000000000..8821b18fa86 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P Consumer + +type parameter bounds: +T <: Int +P <: Consumer* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints new file mode 100644 index 00000000000..10ace6ad50f --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds new file mode 100644 index 00000000000..3dbaf11c438 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P Consumer + +type parameter bounds: +T <: Int +P >: Consumer*, >: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints new file mode 100644 index 00000000000..ae5462e8c59 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds new file mode 100644 index 00000000000..2e3d20ba19a --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P Consumer + +type parameter bounds: +T >: Int +P := Consumer*, <: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints new file mode 100644 index 00000000000..ae38a91ed57 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds new file mode 100644 index 00000000000..c20560721c9 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P Consumer + +type parameter bounds: +T >: Int +P <: Consumer*, <: Consumer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints new file mode 100644 index 00000000000..b100806bf89 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds new file mode 100644 index 00000000000..bf5bf4045da --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P Consumer + +type parameter bounds: +T >: Int +P >: Consumer* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints new file mode 100644 index 00000000000..dffa79e2c6b --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P Consumer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds new file mode 100644 index 00000000000..13417f5a50e --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P Producer + +type parameter bounds: +T := Int, >: Int, <: Int? +P := Producer*, := Producer, >: Producer, <: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints new file mode 100644 index 00000000000..6948d6c0b3b --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds new file mode 100644 index 00000000000..11f554606b3 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P Producer + +type parameter bounds: +T := Int +P <: Producer*, <: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints new file mode 100644 index 00000000000..a505a22a8b6 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds new file mode 100644 index 00000000000..b36241e4391 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P Producer + +type parameter bounds: +T := Int +P >: Producer*, >: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints new file mode 100644 index 00000000000..7220d3f21a0 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds new file mode 100644 index 00000000000..2dc4bfe36bf --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P Producer + +type parameter bounds: +T <: Int, <: Int? +P := Producer*, <: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints new file mode 100644 index 00000000000..b22b4c68253 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds new file mode 100644 index 00000000000..8f3c6e275c7 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P Producer + +type parameter bounds: +T <: Int +P <: Producer*, <: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints new file mode 100644 index 00000000000..7bd66f85cd3 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds new file mode 100644 index 00000000000..aa177cdd9c4 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P Producer + +type parameter bounds: +T <: Int +P >: Producer* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints new file mode 100644 index 00000000000..f68d9fc5a41 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds new file mode 100644 index 00000000000..ef1c2e2faec --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P Producer + +type parameter bounds: +T >: Int +P := Producer*, >: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints new file mode 100644 index 00000000000..6257394ddff --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds new file mode 100644 index 00000000000..c4dcdf26169 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P Producer + +type parameter bounds: +T >: Int +P <: Producer* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints new file mode 100644 index 00000000000..a1f80514814 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds new file mode 100644 index 00000000000..b3a5d5b691c --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P Producer + +type parameter bounds: +T >: Int +P >: Producer*, >: Producer + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints new file mode 100644 index 00000000000..2b1331f8bed --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P Producer diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds new file mode 100644 index 00000000000..bec3fb0c825 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P My + +type parameter bounds: +T := Int, >: Int, <: Int? +P := My*, := My + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints new file mode 100644 index 00000000000..88264911d2c --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +EQUAL P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds new file mode 100644 index 00000000000..ab6d8053d17 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P My + +type parameter bounds: +T := Int +P <: My*, <: My + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints new file mode 100644 index 00000000000..197a280d8ff --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUBTYPE P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds new file mode 100644 index 00000000000..0f8e83c76de --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P My + +type parameter bounds: +T := Int +P >: My*, >: My + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: false +-hasViolatedUpperBound: false +-isSuccessful: true + +result: +T=Int +P=My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints new file mode 100644 index 00000000000..cf7a4a42f5a --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +EQUAL T Int +SUPERTYPE P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds new file mode 100644 index 00000000000..8b1d7787e9f --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P My + +type parameter bounds: +T <: Int +P := My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: true +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: true +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints new file mode 100644 index 00000000000..ff5bbb95a3e --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +EQUAL P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds new file mode 100644 index 00000000000..6effa72428c --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P My + +type parameter bounds: +T <: Int +P <: My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints new file mode 100644 index 00000000000..47a4cbb90f6 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUBTYPE P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds new file mode 100644 index 00000000000..e914ef48855 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P My + +type parameter bounds: +T <: Int +P >: My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints new file mode 100644 index 00000000000..3c9bb446453 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUBTYPE T Int +SUPERTYPE P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds new file mode 100644 index 00000000000..5d69a46a15a --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P My + +type parameter bounds: +T >: Int +P := My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: true +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: true +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints new file mode 100644 index 00000000000..1065f6916e5 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +EQUAL P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds new file mode 100644 index 00000000000..70c1d6c6b5d --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P My + +type parameter bounds: +T >: Int +P <: My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints new file mode 100644 index 00000000000..841df121682 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUBTYPE P My diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds new file mode 100644 index 00000000000..ed393cb0a37 --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds @@ -0,0 +1,23 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P My + +type parameter bounds: +T >: Int +P >: My* + +status: +-hasCannotCaptureTypesError: false +-hasConflictingConstraints: false +-hasContradiction: false +-hasErrorInConstrainingTypes: false +-hasTypeConstructorMismatch: false +-hasTypeInferenceIncorporationError: false +-hasUnknownParameters: true +-hasViolatedUpperBound: false +-isSuccessful: false + +result: +T=Int +P=??? diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints new file mode 100644 index 00000000000..2ec50dca2bc --- /dev/null +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints @@ -0,0 +1,4 @@ +VARIABLES T P + +SUPERTYPE T Int +SUPERTYPE P My diff --git a/compiler/tests/org/jetbrains/kotlin/resolve/constraintSystem/ConstraintSystemTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/resolve/constraintSystem/ConstraintSystemTestGenerated.java index 1557eceb704..12ea42f21fd 100644 --- a/compiler/tests/org/jetbrains/kotlin/resolve/constraintSystem/ConstraintSystemTestGenerated.java +++ b/compiler/tests/org/jetbrains/kotlin/resolve/constraintSystem/ConstraintSystemTestGenerated.java @@ -433,6 +433,204 @@ public class ConstraintSystemTestGenerated extends AbstractConstraintSystemTest } } + @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable") + @TestDataPath("$PROJECT_ROOT") + @RunWith(JUnit3RunnerWithInners.class) + public static class Nullable extends AbstractConstraintSystemTest { + public void testAllFilesPresentInNullable() throws Exception { + JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable"), Pattern.compile("^(.+)\\.constraints$"), true); + } + + @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant") + @TestDataPath("$PROJECT_ROOT") + @RunWith(JUnit3RunnerWithInners.class) + public static class Contravariant extends AbstractConstraintSystemTest { + public void testAllFilesPresentInContravariant() throws Exception { + JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/contravariant"), Pattern.compile("^(.+)\\.constraints$"), true); + } + + @TestMetadata("varEqDepEq.constraints") + public void testVarEqDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSub.constraints") + public void testVarEqDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSuper.constraints") + public void testVarEqDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepEq.constraints") + public void testVarSubDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSub.constraints") + public void testVarSubDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSuper.constraints") + public void testVarSubDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepEq.constraints") + public void testVarSuperDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSub.constraints") + public void testVarSuperDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSuper.constraints") + public void testVarSuperDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints"); + doTest(fileName); + } + } + + @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant") + @TestDataPath("$PROJECT_ROOT") + @RunWith(JUnit3RunnerWithInners.class) + public static class Covariant extends AbstractConstraintSystemTest { + public void testAllFilesPresentInCovariant() throws Exception { + JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/covariant"), Pattern.compile("^(.+)\\.constraints$"), true); + } + + @TestMetadata("varEqDepEq.constraints") + public void testVarEqDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSub.constraints") + public void testVarEqDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSuper.constraints") + public void testVarEqDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepEq.constraints") + public void testVarSubDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSub.constraints") + public void testVarSubDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSuper.constraints") + public void testVarSubDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepEq.constraints") + public void testVarSuperDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSub.constraints") + public void testVarSuperDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSuper.constraints") + public void testVarSuperDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints"); + doTest(fileName); + } + } + + @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant") + @TestDataPath("$PROJECT_ROOT") + @RunWith(JUnit3RunnerWithInners.class) + public static class Invariant extends AbstractConstraintSystemTest { + public void testAllFilesPresentInInvariant() throws Exception { + JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/invariant"), Pattern.compile("^(.+)\\.constraints$"), true); + } + + @TestMetadata("varEqDepEq.constraints") + public void testVarEqDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSub.constraints") + public void testVarEqDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varEqDepSuper.constraints") + public void testVarEqDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepEq.constraints") + public void testVarSubDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSub.constraints") + public void testVarSubDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSubDepSuper.constraints") + public void testVarSubDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepEq.constraints") + public void testVarSuperDepEq() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSub.constraints") + public void testVarSuperDepSub() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints"); + doTest(fileName); + } + + @TestMetadata("varSuperDepSuper.constraints") + public void testVarSuperDepSuper() throws Exception { + String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints"); + doTest(fileName); + } + } + } + @TestMetadata("compiler/testData/constraintSystem/severalVariables/recursive") @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class)