Merge pull request swiftlang#38013 from slavapestov/allow-bogus-same-type-in-signature-5.4

GSB: Remove a couple of well-formedness assertions [5.4]

Author: drexin

lib/AST/GenericSignature.cpp

@@ -237,18 +237,10 @@ CanGenericSignature::getCanonical(TypeArrayView<GenericTypeParamType> params,
       break;
 
     case RequirementKind::SameType: {
-      auto isCanonicalAnchor = [&](Type type) {
-        if (auto *dmt = type->getAs<DependentMemberType>())
-          return canSig->isCanonicalTypeInContext(dmt->getBase());
-        return type->is<GenericTypeParamType>();
-      };
-
       auto firstType = reqt.getFirstType();
       auto secondType = reqt.getSecondType();
-      assert(isCanonicalAnchor(firstType));
 
       if (reqt.getSecondType()->isTypeParameter()) {
-        assert(isCanonicalAnchor(secondType));
         assert(compareDependentTypes(firstType, secondType) < 0 &&
                "Out-of-order type parameters in same-type constraint");
       } else {

test/Prototypes/BigInt.swift

@@ -18,8 +18,6 @@
 
 // See rdar://problem/65251059
 // UNSUPPORTED: windows
-// rdar://problem/65015626
-// XFAIL: asserts
 
 import StdlibUnittest
 #if canImport(Darwin)