// RUN: %target-swift-frontend %s -sil-verify-all -c -o /dev/null

// This file is suppose to contain programs that are "correct" through emitting
// an object file, so no diagnostic tests in here, please!

// rdar://118274699
struct Env: ~Copyable {
    var constants: Int
}
struct VM: ~Copyable {
    let env = Env(constants: 0)

    mutating func run() {
        env.constants
    }
}

// rdar://109232806
public protocol P_109232806 {}
public struct M_109232806: ~Copyable {
  var x: P_109232806? = nil
  var y: Int { 0 }
}
public func test_109232806(m: borrowing M_109232806) {
  _ = m.y
}


// rdar://162749287
struct DonutEventHandler: ~Copyable {
    mutating func deliciouslyDo<Result>(
        operation: (inout Self) async throws -> Result,
        withHandler handler: (Int) async throws -> Void
    ) async rethrows -> Result {
        return try await withoutActuallyEscaping(handler) { escapingHandler in
            return try await operation(&self)
        }
    }
}