[Sema] Run structural/availability diagnostics on tap bodies

Since interpolations are now type-checked using conjunctions
these diagnostics could be rank as part of the root expression
or statement verification.

Author: xedin

lib/Sema/ConstantnessSemaDiagnostics.cpp

@@ -353,14 +353,7 @@ void swift::diagnoseConstantArgumentRequirement(
         return walkToClosureExprPre(closureExpr);
       }
 
-      // Interpolated expressions' bodies will be type checked
-      // separately so exit early to avoid duplicate diagnostics.
-      // The caveat is that they won't be checked inside closure
-      // bodies because we manually check all closures to avoid
-      // duplicate diagnostics. Therefore we must still descend into
-      // interpolated expressions if we are inside of a closure.
-      if (!expr || isa<ErrorExpr>(expr) || !expr->getType() ||
-          (isa<InterpolatedStringLiteralExpr>(expr) && !insideClosure))
+      if (!expr || isa<ErrorExpr>(expr) || !expr->getType())
         return Action::SkipChildren(expr);
       if (auto *callExpr = dyn_cast<CallExpr>(expr)) {
         diagnoseConstantArgumentRequirementOfCall(callExpr, DC->getASTContext());

lib/Sema/MiscDiagnostics.cpp

@@ -136,8 +136,6 @@ static void diagSyntacticUseRestrictions(const Expr *E, const DeclContext *DC,
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     PreWalkResult<Expr *> walkToExprPre(Expr *E) override {
       if (auto collection = dyn_cast<CollectionExpr>(E)) {
         if (collection->isTypeDefaulted()) {
@@ -1474,8 +1472,6 @@ static void diagRecursivePropertyAccess(const Expr *E, const DeclContext *DC) {
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }
@@ -1775,8 +1771,6 @@ static void diagnoseImplicitSelfUseInClosure(const Expr *E,
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     PreWalkResult<Expr *> walkToExprPre(Expr *E) override {
       if (auto *CE = dyn_cast<AbstractClosureExpr>(E)) {
         // If this is a potentially-escaping closure expression, start looking
@@ -4193,8 +4187,6 @@ static void checkStmtConditionTrailingClosure(ASTContext &ctx, const Expr *E) {
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }
@@ -4323,8 +4315,6 @@ class ObjCSelectorWalker : public ASTWalker {
 
   bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-  bool shouldWalkIntoTapExpression() override { return false; }
-
   MacroWalking getMacroWalkingBehavior() const override {
     return MacroWalking::Expansion;
   }
@@ -5184,8 +5174,6 @@ static void diagnoseUnintendedOptionalBehavior(const Expr *E,
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }
@@ -5265,8 +5253,6 @@ static void diagnoseDeprecatedWritableKeyPath(const Expr *E,
 
     bool shouldWalkCaptureInitializerExpressions() override { return true; }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }
@@ -5561,8 +5547,6 @@ static void diagUnqualifiedAccessToMethodNamedSelf(const Expr *E,
       return false;
     }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }
@@ -5722,8 +5706,6 @@ diagnoseDictionaryLiteralDuplicateKeyEntries(const Expr *E,
       return false;
     }
 
-    bool shouldWalkIntoTapExpression() override { return false; }
-
     MacroWalking getMacroWalkingBehavior() const override {
       return MacroWalking::Expansion;
     }

lib/Sema/TypeCheckAvailability.cpp

@@ -3232,8 +3232,6 @@ class ExprAvailabilityWalker : public ASTWalker {
     return false;
   }
 
-  bool shouldWalkIntoTapExpression() override { return false; }
-
   MacroWalking getMacroWalkingBehavior() const override {
     return MacroWalking::ArgumentsAndExpansion;
   }