Remove warining on erased type match

nicolasstucki · nicolasstucki · commit 12d08c9a1e4e · 2017-11-27T17:32:48.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -764,7 +764,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
   }
 
   def typedFunctionValue(tree: untpd.Function, pt: Type)(implicit ctx: Context) = {
-    val untpd.Function(params: List[untpd.ValDef], body) = tree
+    val untpd.Function(params: List[untpd.ValDef] @unchecked, body) = tree
 
     pt match {
       case pt: TypeVar if untpd.isFunctionWithUnknownParamType(tree) =>

Original file line number	Diff line number	Diff line change
`@@ -764,7 +764,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit`
`764`	`764`	`}`
`765`	`765`
`766`	`766`	`def typedFunctionValue(tree: untpd.Function, pt: Type)(implicit ctx: Context) = {`
`767`		`- val untpd.Function(params: List[untpd.ValDef], body) = tree`
	`767`	`+ val untpd.Function(params: List[untpd.ValDef] @unchecked, body) = tree`
`768`	`768`
`769`	`769`	`pt match {`
`770`	`770`	`case pt: TypeVar if untpd.isFunctionWithUnknownParamType(tree) =>`