File tree Expand file tree Collapse file tree 2 files changed +15
-16
lines changed Expand file tree Collapse file tree 2 files changed +15
-16
lines changed Original file line number Diff line number Diff line change @@ -1687,6 +1687,21 @@ class GenericSignatureBuilder::PotentialArchetype {
1687
1687
friend class GenericSignatureBuilder ;
1688
1688
};
1689
1689
1690
+ template <typename C>
1691
+ bool GenericSignatureBuilder::Constraint<C>::isSubjectEqualTo(Type T) const {
1692
+ return getSubjectDependentType ({ })->isEqual (T);
1693
+ }
1694
+
1695
+ template <typename T>
1696
+ bool GenericSignatureBuilder::Constraint<T>::isSubjectEqualTo(const GenericSignatureBuilder::PotentialArchetype *PA) const {
1697
+ return getSubjectDependentType ({ })->isEqual (PA->getDependentType ({ }));
1698
+ }
1699
+
1700
+ template <typename T>
1701
+ bool GenericSignatureBuilder::Constraint<T>::hasSameSubjectAs(const GenericSignatureBuilder::Constraint<T> &C) const {
1702
+ return getSubjectDependentType ({ })->isEqual (C.getSubjectDependentType ({ }));
1703
+ }
1704
+
1690
1705
// / Describes a requirement whose processing has been delayed for some reason.
1691
1706
class GenericSignatureBuilder ::DelayedRequirement {
1692
1707
public:
Original file line number Diff line number Diff line change @@ -1712,22 +1712,6 @@ bool EquivalenceClass::recordConformanceConstraint(
1712
1712
return inserted;
1713
1713
}
1714
1714
1715
- template <typename T>
1716
- bool Constraint<T>::isSubjectEqualTo(Type type) const {
1717
- return getSubjectDependentType ({ })->isEqual (type);
1718
- }
1719
-
1720
- template <typename T>
1721
- bool Constraint<T>::isSubjectEqualTo(const PotentialArchetype *pa) const {
1722
- return getSubjectDependentType ({ })->isEqual (pa->getDependentType ({ }));
1723
- }
1724
-
1725
- template <typename T>
1726
- bool Constraint<T>::hasSameSubjectAs(const Constraint<T> &other) const {
1727
- return getSubjectDependentType ({ })
1728
- ->isEqual (other.getSubjectDependentType ({ }));
1729
- }
1730
-
1731
1715
Optional<ConcreteConstraint>
1732
1716
EquivalenceClass::findAnyConcreteConstraintAsWritten (Type preferredType) const {
1733
1717
// If we don't have a concrete type, there's no source.
You can’t perform that action at this time.
0 commit comments