discard_interface.swift

// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/Library.swiftinterface) %s -module-name Library -verify
// RUN: %target-swift-typecheck-module-from-interface(%t/Library.swiftinterface) -I %t
// RUN: %FileCheck %s < %t/Library.swiftinterface

// This test makes sure that discard is emitted correctly in the interfaces.

// CHECK: @_alwaysEmitIntoClient public consuming func AEIC_discard() { discard self }
// CHECK: @inlinable public consuming func inlinable_discard() { discard self }

publicstructMoveOnlyStruct:~Copyable {
letx=0

@_alwaysEmitIntoClientpublicconsumingfunc AEIC_discard(){ discard self }
@inlinablepublicconsumingfunc inlinable_discard(){ discard self }

deinit{}
}