// swift-interface-format-version: 1.0
// swift-module-flags: -module-name SerializedSIL -enable-library-evolution

// RUN: %empty-directory(%t)
// RUN: echo 'import SerializedSIL' | %target-swift-frontend -typecheck -module-cache-path %t -I %S -
// RUN: %target-sil-opt -disable-sil-linking %t/SerializedSIL-*.swiftmodule -module-name SerializedSIL > %t/SerializedSIL.sil
// RUN: %FileCheck %s < %t/SerializedSIL.sil
// RUN: %FileCheck -check-prefix NEGATIVE %s < %t/SerializedSIL.sil

public class TestClass {
    public init()
    public func method()
    public subscript(_: Int) -> Void { get set }
    public var prop: Int { get set }
    public var storedProp: Int
    public static var staticProp: Int
    deinit
}

public class TestEmptyClass {
}

public struct TestEmptyStruct {
}

public enum TestEnum {
    case a
    public init()
    public func method()
    public subscript(_: Int) -> Void { get set }
    public var prop: Int { get set }
    public static var staticProp: Int
}

public struct TestStruct {
    public init()
    public func method()
    public subscript(_: Int) -> Void { get set }
    public var prop: Int { get set }
    public var storedProp: Int
    public static var staticProp: Int
}

public let globalWithNoAccessors: Int
public var readOnlyVar: Int { get }
public var readWriteVar: Int { get set }
public func verySimpleFunction()

// CHECK: sil [serialized] [exact_self_class] [canonical] [ossa] @$s13SerializedSIL9TestClassCACycfC : $@convention(method) (@thick TestClass.Type) -> @owned TestClass {

// NEGATIVE-NOT: {{sil .*@.+storedProp}}

// NEGATIVE-NOT: sil_vtable
// NEGATIVE-NOT: sil_witness_table