RequirementMachine: PropertyBag::{getConcreteType,getSuperclassBound}() should return CanType

slavapestov · slavapestov · commit a3c230e43608 · 2022-01-11T21:43:55.000-05:00
diff --git a/lib/AST/RequirementMachine/PropertyMap.h b/lib/AST/RequirementMachine/PropertyMap.h
@@ -117,7 +117,7 @@ class PropertyBag {
     return Superclass.hasValue();
   }
 
-  Type getSuperclassBound() const {
+  CanType getSuperclassBound() const {
     return Superclass->getSuperclass();
   }
 
@@ -130,7 +130,7 @@ class PropertyBag {
     return ConcreteType.hasValue();
   }
 
-  Type getConcreteType() const {
+  CanType getConcreteType() const {
     return ConcreteType->getConcreteType();
   }
 

Original file line number	Diff line number	Diff line change
`@@ -117,7 +117,7 @@ class PropertyBag {`
`117`	`117`	`return Superclass.hasValue();`
`118`	`118`	`}`
`119`	`119`
`120`		`- Type getSuperclassBound() const {`
	`120`	`+ CanType getSuperclassBound() const {`
`121`	`121`	`return Superclass->getSuperclass();`
`122`	`122`	`}`
`123`	`123`
`@@ -130,7 +130,7 @@ class PropertyBag {`
`130`	`130`	`return ConcreteType.hasValue();`
`131`	`131`	`}`
`132`	`132`
`133`		`- Type getConcreteType() const {`
	`133`	`+ CanType getConcreteType() const {`
`134`	`134`	`return ConcreteType->getConcreteType();`
`135`	`135`	`}`
`136`	`136`