Skip to content

Commit a74a84a

Browse files
committed
Remove diagnostic which didnt allow explicitly specifying BitwiseCopyable on a ~Escapable type
1 parent afdfd2e commit a74a84a

File tree

2 files changed

+0
-9
lines changed

2 files changed

+0
-9
lines changed

include/swift/AST/DiagnosticsSema.def

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7653,8 +7653,6 @@ NOTE(note_non_bitwise_copyable_type_indirect_enum_element,none,
76537653
"indirect case is here", ())
76547654
ERROR(non_bitwise_copyable_type_noncopyable,none,
76557655
"noncopyable type cannot conform to 'BitwiseCopyable'", ())
7656-
ERROR(non_bitwise_copyable_type_nonescapable,none,
7657-
"nonescapable type cannot conform to 'BitwiseCopyable'", ())
76587656
ERROR(non_bitwise_copyable_type_cxx_nontrivial,none,
76597657
"non-trivial C++ type cannot conform to 'BitwiseCopyable'", ())
76607658
ERROR(non_bitwise_copyable_c_type_nontrivial,none,

lib/Sema/TypeCheckBitwise.cpp

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -239,13 +239,6 @@ static bool checkBitwiseCopyableInstanceStorage(NominalTypeDecl *nominal,
239239
return true;
240240
}
241241

242-
if (!dc->mapTypeIntoContext(nominal->getDeclaredInterfaceType())->isEscapable()) {
243-
if (!isImplicit(check)) {
244-
nominal->diagnose(diag::non_bitwise_copyable_type_nonescapable);
245-
}
246-
return true;
247-
}
248-
249242
if (isa<ClassDecl>(nominal)) {
250243
if (!isImplicit(check)) {
251244
nominal->diagnose(diag::non_bitwise_copyable_type_class);

0 commit comments

Comments
 (0)