| // Test that overrides in other source files get checked lazily. |
| |
| // Make sure the overrides are resolved... but we don't diagnose a missing |
| // 'override' keyword from another source file. |
| // RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/overrideB.swift %S/Inputs/overrideC.swift -verify |
| |
| // Make sure we still diagnose the missing 'override' when looking at the |
| // source file where it occurs. |
| // RUN: not %target-swift-frontend -typecheck %s %S/Inputs/overrideB.swift -primary-file %S/Inputs/overrideC.swift 2> %t.err |
| // RUN: %FileCheck %s < %t.err |
| |
| // expected-no-diagnostics |
| |
| class Foo { |
| func foo(sub: Sub) { |
| sub.bar(Into<Int>()) |
| } |
| } |
| |
| struct Into<T> { } |
| |
| // CHECK: overriding declaration requires an 'override' keyword |