[Spec tests] Update tests with spec version 0.1-313

This commit is contained in:
anastasiia.spaseeva
2020-03-30 18:10:09 +03:00
parent 52cc7aa117
commit 0397470b85
100 changed files with 335 additions and 335 deletions
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-313
* PLACE: expressions, cast-expression -> paragraph 1 -> sentence 1
* NUMBER: 1
* DESCRIPTION: check of the cast operators as or as?
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check of the cast operators as or as?",
"unexpectedBehaviour": false
@@ -4,7 +4,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-220
* SPEC VERSION: 0.1-313
* PLACE: expressions, conditional-expression -> paragraph 6 -> sentence 1
* NUMBER: 1
* DESCRIPTION: The type of the condition expression must be a subtype of kotlin.Boolean, otherwise it is an error
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-220",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "The type of the condition expression must be a subtype of kotlin.Boolean, otherwise it is an error",
"unexpectedBehaviour": false
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-222
* SPEC VERSION: 0.1-313
* PLACE: expressions, jump-expressions, return-expressions -> paragraph 3 -> sentence 2
* RELEVANT PLACES: expressions, jump-expressions, return-expressions -> paragraph 2 -> sentence 1
* expressions, jump-expressions, return-expressions -> paragraph 3 -> sentence 3
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-300
* SPEC VERSION: 0.1-313
* PLACE: expressions, jump-expressions, return-expressions -> paragraph 3 -> sentence 3
* RELEVANT PLACES: expressions, jump-expressions, return-expressions -> paragraph 2 -> sentence 1
* expressions, jump-expressions, return-expressions -> paragraph 3 -> sentence 2
@@ -56,7 +56,7 @@
"pos": {
"2": [
{
"specVersion": "0.1-222",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "If several declarations match one name, the return is considered to be from the nearest matching function;",
"unexpectedBehaviour": false
@@ -64,7 +64,7 @@
],
"3": [
{
"specVersion": "0.1-300",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "If return@Context is inside a lambda expression body, the name of the function using this lambda expression as its argument may be used as Context to refer to the lambda literal itself",
"unexpectedBehaviour": false
@@ -76,14 +76,14 @@
"pos": {
"1": [
{
"specVersion": "0.1-222",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "If several declarations match one name, the return is considered to be from the nearest matching function;",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/jump-expressions/return-expressions/p-3/pos/2.1.kt",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-300",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "If return@Context is inside a lambda expression body, the name of the function using this lambda expression as its argument may be used as Context to refer to the lambda literal itself",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/jump-expressions/return-expressions/p-3/pos/3.1.kt",
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-313
* PLACE: expressions, postfix-operator-expressions, postfix-decrement-expression -> paragraph 6 -> sentence 1
* RELEVANT PLACES: expressions, postfix-operator-expressions, postfix-decrement-expression -> paragraph 5 -> sentence 1
* overloadable-operators -> paragraph 4 -> sentence 1
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-313
* PLACE: expressions, postfix-operator-expressions, postfix-decrement-expression -> paragraph 6 -> sentence 1
* RELEVANT PLACES: expressions, prefix-expressions, prefix-decrement-expression -> paragraph 5 -> sentence 1
* overloadable-operators -> paragraph 4 -> sentence 1
@@ -3,13 +3,13 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix decrement expression has the same type as its operand expression",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix decrement expression has the same type as its operand expression",
"unexpectedBehaviour": false
@@ -21,7 +21,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix decrement expression has the same type as its operand expression",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/postfix-operator-expressions/postfix-decrement-expression/p-6/pos/1.1.kt",
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-313
* PLACE: expressions, postfix-operator-expressions, postfix-increment-expression -> paragraph 6 -> sentence 1
* RELEVANT PLACES: expressions, postfix-operator-expressions, postfix-increment-expression -> paragraph 5 -> sentence 1
* overloadable-operators -> paragraph 4 -> sentence 1
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-213
* SPEC VERSION: 0.1-313
* PLACE: expressions, postfix-operator-expressions, postfix-increment-expression -> paragraph 6 -> sentence 1
* RELEVANT PLACES: expressions, prefix-expressions, prefix-increment-expression -> paragraph 5 -> sentence 1
* overloadable-operators -> paragraph 4 -> sentence 1
@@ -3,13 +3,13 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix increment expression has the same type as its operand expression",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " check postfix increment expression",
"unexpectedBehaviour": false
@@ -21,7 +21,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " check postfix increment expression",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/postfix-operator-expressions/postfix-increment-expression/p-6/pos/1.1.kt",
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix decrement expression has the same type as its operand expression",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/postfix-operator-expressions/postfix-decrement-expression/p-6/pos/1.2.kt",
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-213",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "check postfix increment expression has the same type as its operand expression",
"path": "compiler/tests-spec/testData/codegen/box/linked/expressions/postfix-operator-expressions/postfix-increment-expression/p-6/pos/1.2.kt",
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-297
* SPEC VERSION: 0.1-313
* PLACE: expressions, try-expression -> paragraph 7 -> sentence 1
* NUMBER: 1
* DESCRIPTION: finally block has no effect on the value returned by the try-expression
@@ -3,7 +3,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-297",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "finally block has no effect on the value returned by the try-expression",
"unexpectedBehaviour": false
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-297
* SPEC VERSION: 0.1-313
* PLACE: expressions, type-checking-and-containment-checking-expressions, type-checking-expression -> paragraph 2 -> sentence 1
* NUMBER: 1
* DESCRIPTION: E is T: The type T must be runtime-available, otherwise it is a compiler error
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-297
* SPEC VERSION: 0.1-313
* PLACE: expressions, type-checking-and-containment-checking-expressions, type-checking-expression -> paragraph 5 -> sentence 1
* NUMBER: 1
* DESCRIPTION: the expression null is T? for any type T always evaluates to true
@@ -21,7 +21,7 @@
"neg": {
"1": [
{
"specVersion": "0.1-297",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "E is T: The type T must be runtime-available, otherwise it is a compiler error",
"unexpectedBehaviour": false
@@ -33,7 +33,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-297",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "the expression null is T? for any type T always evaluates to true",
"unexpectedBehaviour": false
@@ -4,7 +4,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 1
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Enum)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 2
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Boolean)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 3
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Boolean)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 4
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (sealed class)
@@ -4,7 +4,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 1
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Enum)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 2
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Boolean)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 3
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (Boolean)
@@ -3,7 +3,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 4 -> sentence 1
* NUMBER: 4
* DESCRIPTION: it is possible to replace the else condition with an always-true condition (sealed class)
@@ -4,7 +4,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (NEGATIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 5 -> sentence 2
* NUMBER: 1
* DESCRIPTION: The else condition is a special condition which evaluates to true if none of the branches above it evaluated to true.
@@ -4,7 +4,7 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-218
* SPEC VERSION: 0.1-313
* PLACE: expressions, when-expression -> paragraph 5 -> sentence 1
* NUMBER: 1
* DESCRIPTION: The else condition must also be in the last when entry of when expression, otherwise it is a compile-time error.
@@ -3,25 +3,25 @@
"neg": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (Boolean)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (Boolean)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (sealed class)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "it is possible to replace the else condition with an always-true condition (Enum)",
"unexpectedBehaviour": false
@@ -31,25 +31,25 @@
"pos": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (Boolean)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (Boolean)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": " it is possible to replace the else condition with an always-true condition (sealed class)",
"unexpectedBehaviour": false
},
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "it is possible to replace the else condition with an always-true condition (Enum)",
"unexpectedBehaviour": false
@@ -61,7 +61,7 @@
"neg": {
"2": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "The else condition is a special condition which evaluates to true if none of the branches above it evaluated to true.",
"unexpectedBehaviour": false
@@ -71,7 +71,7 @@
"pos": {
"1": [
{
"specVersion": "0.1-218",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "The else condition must also be in the last when entry of when expression, otherwise it is a compile-time error.",
"unexpectedBehaviour": false
@@ -3,8 +3,8 @@
/*
* KOTLIN CODEGEN BOX SPEC TEST (POSITIVE)
*
* SPEC VERSION: 0.1-268
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 4 -> sentence 1
* SPEC VERSION: 0.1-313
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
* NUMBER: 1
* DESCRIPTION: infix calls for properties
*/
@@ -26,10 +26,10 @@ val B.extensionValC: C
fun box(): String{
val b = B()
b memberValC 3 //resolved to (1) o_O
b memberValC 3 //resolved to (1)
if (b.memberValC.isInvokeCalled) {
c.isInvokeCalled = false
b extensionValC 4 //resolved to (1) o_O
b extensionValC 4 //resolved to (1)
if (b.extensionValC.isInvokeCalled)
return "OK"
}
@@ -1,9 +1,9 @@
{
"4": {
"2": {
"pos": {
"1": [
"2": [
{
"specVersion": "0.1-268",
"specVersion": "0.1-313",
"casesNumber": 0,
"description": "infix calls for properties",
"unexpectedBehaviour": false