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