mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
d8234bace6
If a lazy var has no declared type, we have to type check the initializer to get a type before we can build the getter. Then, the initializer is type checked as part of the getter again. Use the new SkipApplyingSolution flag when type checking for the first time. We still end up doing redundant work, but by not applying the solution we avoid feeding invalid AST nodes back into the constraint solver. This fixes some bad diagnostics and crashes. Fixes <https://bugs.swift.org/browse/SR-2616> and <rdar://problem/28313602>.
10 lines
439 B
Swift
10 lines
439 B
Swift
// This source file is part of the Swift.org open source project
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
|
|
// RUN: not %target-swift-frontend %s -emit-ir
|
|
protocol A{{}func a{}struct A{lazy var f=a
|