Merge pull request #13726 from rudkx/verify-no-specifier-type-repr-in-typed-patterns

IUO: Verify that we do not expect to see SpecifierTypeRepr in typed p…

Author: rudkx

lib/Sema/TypeCheckPattern.cpp

@@ -680,6 +680,8 @@ static bool validateTypedPattern(TypeChecker &TC, DeclContext *DC,
 
   TP->setType(TL.getType());
 
+  assert(!dyn_cast_or_null<SpecifierTypeRepr>(TL.getTypeRepr()));
+
   // Track whether the decl in this typed pattern should be
   // implicitly unwrapped as needed during expression type checking.
   if (TL.getTypeRepr() && TL.getTypeRepr()->getKind() ==