| // RUN: not %target-swift-frontend -typecheck -I %S/Inputs %s 2>%t.txt |
| // RUN: %FileCheck %s < %t.txt |
| // RUN: %FileCheck %s -check-prefix=NEGATIVE < %t.txt |
| |
| // FIXME: We need to type-check transparent functions if they are used. |
| // XFAIL: * |
| |
| // CHECK: transparent_invalid.swift:3:10: error: expression does not type-check |
| // NEGATIVE-NOT: transparent_invalid.swift:7:10: error |
| import transparent_invalid |
| |
| var _ : Int = negate_bad(5) // no-warning |
| |
| // NEGATIVE-NOT: import_source.swift:[[@LINE+1]] |
| var _ : Int = negate(5) // no-warning |
| |
| // CHECK: import_source.swift:[[@LINE+1]]:22: error: 'CBool' is not a subtype of 'Int' |
| var _ : Int = negate(true) |
