Fix exhaustivity warning

liufengyun · liufengyun · commit 2d697454e8f5 · 2020-04-11T20:38:30.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala b/compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala
@@ -144,7 +144,7 @@ object PickledQuotes {
               case tp: TypeRef =>
                 typeSpliceMap.get(tp.symbol) match
                   case Some(t) if tp.typeSymbol.hasAnnotation(defn.InternalQuoted_QuoteTypeTagAnnot) => t
-                  case None => tp
+                  case _ => tp
               case _ => tp
             }
             mapOver(tp1)

Original file line number	Diff line number	Diff line change
`@@ -144,7 +144,7 @@ object PickledQuotes {`
`144`	`144`	`case tp: TypeRef =>`
`145`	`145`	`typeSpliceMap.get(tp.symbol) match`
`146`	`146`	`case Some(t) if tp.typeSymbol.hasAnnotation(defn.InternalQuoted_QuoteTypeTagAnnot) => t`
`147`		`- case None => tp`
	`147`	`+ case _ => tp`
`148`	`148`	`case _ => tp`
`149`	`149`	`}`
`150`	`150`	`mapOver(tp1)`