RequirementMachine: Remove bogus assertion

slavapestov · slavapestov · commit 6df75ee610f7 · 2021-06-02T14:19:12.000-04:00
We can have a layout requirement 'T : _UnknownLayout', and
_UnknownLayout answers false to isKnownLayout().
diff --git a/include/swift/AST/RewriteSystem.h b/include/swift/AST/RewriteSystem.h
@@ -95,7 +95,6 @@ class Atom final {
 
   /// Creates a layout atom, representing a layout constraint.
   static Atom forLayout(LayoutConstraint layout) {
-    assert(layout->isKnownLayout());
     return Atom({}, layout);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,6 @@ class Atom final {`
`95`	`95`
`96`	`96`	`/// Creates a layout atom, representing a layout constraint.`
`97`	`97`	`static Atom forLayout(LayoutConstraint layout) {`
`98`		`- assert(layout->isKnownLayout());`
`99`	`98`	`return Atom({}, layout);`
`100`	`99`	`}`
`101`	`100`