[Sema] allow '@_moveOnly' class with feature flag

kavon · kavon · commit 7477c23732f2 · 2023-10-28T23:57:09.000-07:00
diff --git a/lib/Sema/TypeCheckDecl.cpp b/lib/Sema/TypeCheckDecl.cpp
@@ -944,7 +944,9 @@ bool HasNoncopyableAnnotationRequest::evaluate(Evaluator &evaluator, TypeDecl *d
 
   // Handle the legacy '@_moveOnly' attribute
   if (decl->getAttrs().hasAttribute<MoveOnlyAttr>()) {
-    assert(isa<StructDecl>(decl) || isa<EnumDecl>(decl));
+    assert(isa<StructDecl>(decl) || isa<EnumDecl>(decl)
+               || (ctx.LangOpts.hasFeature(Feature::MoveOnlyClasses)
+                   && isa<ClassDecl>(decl)));
     return true;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -944,7 +944,9 @@ bool HasNoncopyableAnnotationRequest::evaluate(Evaluator &evaluator, TypeDecl *d`
`944`	`944`
`945`	`945`	`// Handle the legacy '@_moveOnly' attribute`
`946`	`946`	`if (decl->getAttrs().hasAttribute<MoveOnlyAttr>()) {`
`947`		`- assert(isa<StructDecl>(decl) \|\| isa<EnumDecl>(decl));`
	`947`	`+ assert(isa<StructDecl>(decl) \|\| isa<EnumDecl>(decl)`
	`948`	`+ \|\| (ctx.LangOpts.hasFeature(Feature::MoveOnlyClasses)`
	`949`	`+ && isa<ClassDecl>(decl)));`
`948`	`950`	`return true;`
`949`	`951`	`}`
`950`	`952`