WIP

Author: tshortli

lib/Sema/TypeCheckAvailability.cpp

@@ -1436,6 +1436,13 @@ class AvailabilityScopeBuilder : private ASTWalker {
 
   PreWalkResult<Expr *> walkToExprPre(Expr *E) override {
     (void)consumeDeclBodyContextIfNecessary(E);
+
+    if (auto *SE = dyn_cast<SequenceExpr>(E)) {
+      if (SE->getNumElements() > 2) {
+        build(SE->getElement(1));
+      }
+      return Action::SkipChildren(E);
+    }
     return Action::Continue(E);
   }
 

test/Sema/availability_scopes.swift

@@ -321,6 +321,22 @@ func testStringInterpolation() {
     """
 }
 
+// CHECK-NEXT: {{^}}  (decl_implicit version=50 decl=result
+// CHECK-NEXT: {{^}}    (decl_implicit version=50 decl=unusedA
+// CHECK-NEXT: {{^}}    (decl_implicit version=50 decl=unusedB
+
+func testGH78567(b: Bool, x: Int?) {
+  let result = b
+    ? x.map {
+        let unusedA: Int
+        return $0
+      }
+    : x.map {
+        let unusedB: Int
+        return $0
+      }
+}
+
 // CHECK-NEXT: {{^}}  (decl version=50 unavailable=macOS decl=unavailableOnMacOS()
 // CHECK-NEXT: {{^}}    (decl_implicit version=50 unavailable=macOS decl=x