| // RUN: %target-swift-frontend -emit-sil -verify -primary-file %s %S/Inputs/external_lazy_property.swift |
| // RUN: %target-swift-frontend -emit-sil -verify -primary-file %s -primary-file %S/Inputs/external_lazy_property.swift |
| |
| // rdar://45712204 |
| func test1(s: Test1) { |
| _ = s.property // expected-error {{cannot use mutating getter on immutable value: 's' is a 'let' constant}} |
| } |
| |
| func test2(s: Test2) { |
| _ = s.property |
| } |
| |
| // rdar://49482742 - shouldn't warn about 's' never being mutated |
| func test3() { |
| var s = Test1() |
| _ = s.property |
| } |