[AST] Don’t include propagated type locations in the source range of a type pattern.

DougGregor · DougGregor · commit df724687cd59 · 2016-09-02T16:30:09.000-07:00
diff --git a/lib/AST/Pattern.cpp b/lib/AST/Pattern.cpp
@@ -349,7 +349,7 @@ SourceRange TuplePattern::getSourceRange() const {
 }
 
 SourceRange TypedPattern::getSourceRange() const {
-  if (isImplicit()) {
+  if (isImplicit() || isPropagatedType()) {
     // If a TypedPattern is implicit, then its type is definitely implicit, so
     // we should ignore its location.  On the other hand, the sub-pattern can
     // be explicit or implicit.

Original file line number	Diff line number	Diff line change
`@@ -349,7 +349,7 @@ SourceRange TuplePattern::getSourceRange() const {`
`349`	`349`	`}`
`350`	`350`
`351`	`351`	`SourceRange TypedPattern::getSourceRange() const {`
`352`		`- if (isImplicit()) {`
	`352`	`+ if (isImplicit() \|\| isPropagatedType()) {`
`353`	`353`	`// If a TypedPattern is implicit, then its type is definitely implicit, so`
`354`	`354`	`// we should ignore its location. On the other hand, the sub-pattern can`
`355`	`355`	`// be explicit or implicit.`