Files
swift-mirror/test/SILGen/bitwise_copyable_stdlib.swift
Allan Shortlidge 92372d8c8a test: Remove -disable-availability-checking where it has no effect.
None of these tests use an availability gated language feature or standard
library API at the deployment target they compile with, so the flag suppresses
no diagnostics. Remove it rather than replacing it with a deployment target.

Verified by running each test with the flag removed. The one exception is
attr_target_x86_64.swift, which only runs on x86_64 hosts; its arm64 twin,
attr_target_arm64.swift, is verified and the two differ only in the CPU
features they name.
2026-09-10 15:46:52 -07:00

30 lines
1.3 KiB
Swift

// R N: %target-swift-frontend -enable-experimental-feature BuiltinModule -parse-stdlib -module-name Swift -DEMPTY -emit-sil -verify %s
// RUN: %target-swift-frontend -emit-silgen-ossa -o /dev/null -sil-verify-all -enable-sil-opaque-values %s -parse-stdlib -module-name Swift -enable-experimental-feature BuiltinModule -enable-experimental-feature Lifetimes -enable-builtin-module
// RUN: %target-swift-frontend \
// RUN: -emit-sil \
// RUN: %s \
// RUN: -parse-stdlib \
// RUN: -module-name Swift \
// RUN: -enable-experimental-feature BuiltinModule \
// RUN: -enable-experimental-feature Lifetimes \
// RUN: -enable-builtin-module
// REQUIRES: swift_feature_BuiltinModule
// REQUIRES: swift_feature_Lifetimes
// Force verification of TypeLowering's isTrivial.
import Builtin
@_marker public protocol Copyable: ~Escapable {}
@_marker public protocol Escapable: ~Copyable {}
@_marker public protocol BitwiseCopyable : ~Escapable {}
struct Storage : ~Escapable, BitwiseCopyable {}
func take<T : BitwiseCopyable & ~Escapable>(_ t: T) {}
func passStorage(_ s: Storage) { take(s) }