Expand type refinement contexts to encompass attributes

DougGregor · DougGregor · commit 0e80b4e710fd · 2023-08-03T23:44:50.000-07:00
diff --git a/lib/Sema/TypeCheckAvailability.cpp b/lib/Sema/TypeCheckAvailability.cpp
@@ -634,13 +634,7 @@ class TypeRefinementContextBuilder : private ASTWalker {
       return Range;
     }
 
-    // For pattern binding declarations, include the attributes in the source
-    // range so that we're sure to cover any property wrappers.
-    if (auto patternBinding = dyn_cast<PatternBindingDecl>(D)) {
-      return D->getSourceRangeIncludingAttrs();
-    }
-
-    return D->getSourceRange();
+    return D->getSourceRangeIncludingAttrs();
   }
 
   // Creates an implicit decl TRC specifying the deployment

Original file line number	Diff line number	Diff line change
`@@ -634,13 +634,7 @@ class TypeRefinementContextBuilder : private ASTWalker {`
`634`	`634`	`return Range;`
`635`	`635`	`}`
`636`	`636`
`637`		`- // For pattern binding declarations, include the attributes in the source`
`638`		`- // range so that we're sure to cover any property wrappers.`
`639`		`- if (auto patternBinding = dyn_cast<PatternBindingDecl>(D)) {`
`640`		`- return D->getSourceRangeIncludingAttrs();`
`641`		`- }`
`642`		`-`
`643`		`- return D->getSourceRange();`
	`637`	`+ return D->getSourceRangeIncludingAttrs();`
`644`	`638`	`}`
`645`	`639`
`646`	`640`	`// Creates an implicit decl TRC specifying the deployment`