averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
swift-3-api-guidelines
swift-mirror/test/IDE/complete_stmt_controlling_expr.swift
David Farler 3f635d04c7 Reinstante var bindings in refutable patterns, except function parameters. 
This reverts commits: b96e06da44,
                      8f2fbdc93a,
                      93b6962478,
                      64024118f4,
                      a759ca9141,
                      3434f9642b,
                      9f33429891,
                      47c043e8a6.

This commit leaves 'var' on function parameters as a warning to be
merged into Swift 2.2. For Swift 3, this will be an error, to be
converted in a follow-up.
2016-01-29 15:27:08 -08:00

499 lines
19 KiB
Swift
Raw Permalink Blame History

// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_4 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_4 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_5 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_IF_ELSE_IF_6 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_WHILE_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_WHILE_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_WHILE_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_WHILE_4 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_DO_WHILE_1 | FileCheck %s -check-prefix=COND-WITH-RELATION
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COND_DO_WHILE_2 | FileCheck %s -check-prefix=COND-WITH-RELATION1
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INIT_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INIT_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INIT_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_I_1 > %t.cond.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.cond.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.cond.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_I_2 > %t.cond.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.cond.txt
// RUN: FileCheck %s -check-prefix=WITH_I_ERROR_EXPR_SPECIFIC < %t.cond.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_COND_I_E_1 > %t.cond.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.cond.txt
// RUN: FileCheck %s -check-prefix=WITH_I_E_EXPR_SPECIFIC < %t.cond.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_I_1 > %t.incr.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.incr.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.incr.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_I_2 > %t.incr.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.incr.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.incr.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_I_3 > %t.incr.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.incr.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.incr.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_I_4 > %t.incr.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.incr.txt
// RUN: FileCheck %s -check-prefix=WITH_I_ERROR_EXPR_SPECIFIC < %t.incr.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_INCR_I_E_1 > %t.incr.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.incr.txt
// RUN: FileCheck %s -check-prefix=WITH_I_E_EXPR_SPECIFIC < %t.incr.txt
// FIXME: should have 'i' in these results.
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_1 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// FIXME: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_2 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_EXPR_SPECIFIC < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_3 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// RUN: FileCheck %s -check-prefix=WITH_I_ERROR_EXPR_SPECIFIC < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_4 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_5 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=C_STYLE_FOR_BODY_I_6 > %t.body.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.body.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.body.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=FOR_EACH_EXPR_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=FOR_EACH_EXPR_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_EXPR_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_EXPR_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_1 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_2 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_3 | FileCheck %s -check-prefix=COND_COMMON
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_I_1 > %t.where.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.where.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.where.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_I_2 > %t.where.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.where.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.where.txt
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=SWITCH_CASE_WHERE_EXPR_I_J_1 > %t.where.txt
// RUN: FileCheck %s -check-prefix=COND_COMMON < %t.where.txt
// RUN: FileCheck %s -check-prefix=WITH_I_INT_LOCAL < %t.where.txt
// RUN: FileCheck %s -check-prefix=WITH_J_INT < %t.where.txt
struct FooStruct {
var instanceVar : Int
init(_: Int = 0) { }
func boolGen() -> Bool { return false }
func intGen() -> Int { return 1 }
}
func testIf1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if #^COND_IF_1^#
}
func testIf2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if #^COND_IF_2^# {
}
}
func testIf3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if var z = #^COND_IF_3^# {
}
}
func testIf4(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if var z = #^COND_IF_4^# {
}
}
func testIfElseIf1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if #^COND_IF_ELSE_IF_1^#
}
func testIfElseIf2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if #^COND_IF_ELSE_IF_2^# {
}
}
func testIfElseIf3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if true {
} else if #^COND_IF_ELSE_IF_3^#
}
func testIfElseIf4(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if true {
} else if #^COND_IF_ELSE_IF_4^# {
}
}
func testIfElseIf5(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if var z = #^COND_IF_ELSE_IF_5^#
}
func testIfElseIf6(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
if true {
} else if let z = #^COND_IF_ELSE_IF_6^# {
}
}
func testWhile1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
while #^COND_WHILE_1^#
}
func testWhile2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
while #^COND_WHILE_2^# {
}
}
func testWhile3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
while var z = #^COND_WHILE_3^#
}
func testWhile4(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
while let z = #^COND_WHILE_4^#
}
func testRepeatWhile1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
repeat {
} while #^COND_DO_WHILE_1^#
}
func testRepeatWhile2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
repeat {
} while localFooObject.#^COND_DO_WHILE_2^#
}
func testCStyleForInit1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for #^C_STYLE_FOR_INIT_1^#
}
func testCStyleForInit2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for #^C_STYLE_FOR_INIT_2^#;
}
func testCStyleForInit3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for #^C_STYLE_FOR_INIT_3^# ;
}
func testCStyleForCond1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for ; #^C_STYLE_FOR_COND_1^#
}
func testCStyleForCond2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for ; #^C_STYLE_FOR_COND_2^#;
}
func testCStyleForCond3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for ; #^C_STYLE_FOR_COND_3^# ;
}
func testCStyleForCondI1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; #^C_STYLE_FOR_COND_I_1^#
}
func testCStyleForCondI2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = unknown_var; #^C_STYLE_FOR_COND_I_2^#
}
func testCStyleForCondIE1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0, e = 10; true; #^C_STYLE_FOR_COND_I_E_1^#
}
func testCStyleForIncr1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for ; ; #^C_STYLE_FOR_INCR_1^#
}
func testCStyleForIncr2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for ; ; #^C_STYLE_FOR_INCR_2^# {
}
}
func testCStyleForIncrI1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; true; #^C_STYLE_FOR_INCR_I_1^#
}
func testCStyleForIncrI2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; i != 10; #^C_STYLE_FOR_INCR_I_2^#
}
func testCStyleForIncrI3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; unknown_var != 10; #^C_STYLE_FOR_INCR_I_3^#
}
func testCStyleForIncrI4(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = unknown_var; unknown_var != 10; #^C_STYLE_FOR_INCR_I_4^#
}
func testCStyleForIncrIE1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0, e = 10; true; #^C_STYLE_FOR_INCR_I_E_1^#
}
func testCStyleForBodyI1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0 {
#^C_STYLE_FOR_BODY_I_1^#
}
}
func testCStyleForBodyI2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; {
#^C_STYLE_FOR_BODY_I_2^#
}
}
func testCStyleForBodyI3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = unknown_var; {
#^C_STYLE_FOR_BODY_I_3^#
}
}
func testCStyleForBodyI4(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; ; {
#^C_STYLE_FOR_BODY_I_4^#
}
}
func testCStyleForBodyI5(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; unknown_var != 10; {
#^C_STYLE_FOR_BODY_I_5^#
}
}
func testCStyleForBodyI6(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for var i = 0; ; unknown_var++ {
#^C_STYLE_FOR_BODY_I_6^#
}
}
func testForEachExpr1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for i in #^FOR_EACH_EXPR_1^#
}
func testForEachExpr2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
for i in #^FOR_EACH_EXPR_2^# {
}
}
func testSwitchExpr1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch #^SWITCH_EXPR_1^#
}
func testSwitchExpr2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch #^SWITCH_EXPR_2^# {
}
}
func testSwitchCaseWhereExpr1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (0, 0) where #^SWITCH_CASE_WHERE_EXPR_1^#
}
}
func testSwitchCaseWhereExpr2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (0, 0) where #^SWITCH_CASE_WHERE_EXPR_2^#:
}
}
func testSwitchCaseWhereExpr3(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (0, 0) where #^SWITCH_CASE_WHERE_EXPR_3^# :
}
}
func testSwitchCaseWhereExprI1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (var i, 0) where #^SWITCH_CASE_WHERE_EXPR_I_1^#
}
}
func testSwitchCaseWhereExprI2(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (0, var i) where #^SWITCH_CASE_WHERE_EXPR_I_2^#
}
}
func testSwitchCaseWhereExprIJ1(fooObject: FooStruct) {
var localInt = 42
var localFooObject = FooStruct(localInt)
switch (0, 42) {
case (var i, var j) where #^SWITCH_CASE_WHERE_EXPR_I_J_1^#
}
}
// COND_COMMON: Begin completions
// COND_COMMON-DAG: Literal[Boolean]/None: true[#Bool#]{{; name=.+$}}
// COND_COMMON-DAG: Literal[Boolean]/None: false[#Bool#]{{; name=.+$}}
// COND_COMMON-DAG: Decl[LocalVar]/Local: fooObject[#FooStruct#]{{; name=.+$}}
// COND_COMMON-DAG: Decl[LocalVar]/Local: localInt[#Int#]{{; name=.+$}}
// COND_COMMON-DAG: Decl[LocalVar]/Local: localFooObject[#FooStruct#]{{; name=.+$}}
// COND_COMMON-DAG: Decl[Struct]/CurrModule: FooStruct[#FooStruct#]{{; name=.+$}}
// COND_COMMON: End completions
// COND-WITH-RELATION: Begin completions
// COND-WITH-RELATION-DAG: Literal[Boolean]/None/TypeRelation[Identical]: true[#Bool#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Literal[Boolean]/None/TypeRelation[Identical]: false[#Bool#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[LocalVar]/Local: fooObject[#FooStruct#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[LocalVar]/Local: localInt[#Int#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[LocalVar]/Local: localFooObject[#FooStruct#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[Struct]/CurrModule: FooStruct[#FooStruct#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[FreeFunction]/CurrModule/TypeRelation[Invalid]: testIf2({#(fooObject): FooStruct#})[#Void#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[FreeFunction]/CurrModule/TypeRelation[Invalid]: testWhile3({#(fooObject): FooStruct#})[#Void#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[FreeFunction]/CurrModule/TypeRelation[Invalid]: testIfElseIf5({#(fooObject): FooStruct#})[#Void#]{{; name=.+$}}
// COND-WITH-RELATION-DAG: Decl[FreeFunction]/CurrModule/TypeRelation[Invalid]: testCStyleForIncrIE1({#(fooObject): FooStruct#})[#Void#]{{; name=.+$}}
// COND-WITH-RELATION1: Begin completions
// COND-WITH-RELATION1-DAG: Decl[InstanceVar]/CurrNominal: instanceVar[#Int#]{{; name=.+$}}
// COND-WITH-RELATION1-DAG: Decl[InstanceMethod]/CurrNominal/TypeRelation[Identical]: boolGen()[#Bool#]{{; name=.+$}}
// COND-WITH-RELATION1-DAG: Decl[InstanceMethod]/CurrNominal: intGen()[#Int#]{{; name=.+$}}
// COND-WITH-RELATION1: End completions
// WITH_I_INT_LOCAL: Decl[LocalVar]/Local: i[#Int#]{{; name=.+$}}
// WITH_I_INT_EXPR_SPECIFIC: Decl[LocalVar]/ExprSpecific: i[#Int#]{{; name=.+$}}
// WITH_I_ERROR_LOCAL: Decl[LocalVar]/Local: i[#<<error type>>#]{{; name=.+$}}
// WITH_I_ERROR_EXPR_SPECIFIC: Decl[LocalVar]/ExprSpecific: i[#<<error type>>#]{{; name=.+$}}
// WITH_J_INT: Decl[LocalVar]/Local: j[#Int#]{{; name=.+$}}
// WITH_I_E_EXPR_SPECIFIC: Decl[LocalVar]/ExprSpecific: i[#Int#]{{; name=.+$}}
// WITH_I_E_EXPR_SPECIFIC: Decl[LocalVar]/Local: e[#Int#]{{; name=.+$}}
Reference in New Issue View Git Blame Copy Permalink