// 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
}
