@@ -6380,13 +6380,10 @@ GenericSignatureBuilder::finalize(TypeArrayView<GenericTypeParamType> genericPar
63806380 }
63816381
63826382 equivClass.recursiveSuperclassType = true ;
6383- } else {
6384- checkSuperclassConstraints (genericParams, &equivClass);
63856383 }
63866384 }
63876385
63886386 checkConformanceConstraints (genericParams, &equivClass);
6389- checkLayoutConstraints (genericParams, &equivClass);
63906387 };
63916388
63926389 if (!Impl->ExplicitSameTypeRequirements .empty ()) {
@@ -7926,22 +7923,6 @@ void GenericSignatureBuilder::checkConcreteTypeConstraints(
79267923 diag::same_type_redundancy_here);
79277924}
79287925
7929- void GenericSignatureBuilder::checkSuperclassConstraints (
7930- TypeArrayView<GenericTypeParamType> genericParams,
7931- EquivalenceClass *equivClass) {
7932- assert (equivClass->superclass && " No superclass constraint?" );
7933-
7934- removeSelfDerived (*this , equivClass->superclassConstraints , /* proto=*/ nullptr );
7935- }
7936-
7937- void GenericSignatureBuilder::checkLayoutConstraints (
7938- TypeArrayView<GenericTypeParamType> genericParams,
7939- EquivalenceClass *equivClass) {
7940- if (!equivClass->layout ) return ;
7941-
7942- removeSelfDerived (*this , equivClass->layoutConstraints , /* proto=*/ nullptr );
7943- }
7944-
79457926bool GenericSignatureBuilder::isRedundantExplicitRequirement (
79467927 const ExplicitRequirement &req) const {
79477928 assert (Impl->computedRedundantRequirements &&
0 commit comments