Remove check for If as it's impossible

liufengyun · web-flow · commit f6ff366c33af · 2018-10-03T12:46:03.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/ast/tpd.scala b/compiler/src/dotty/tools/dotc/ast/tpd.scala
@@ -43,7 +43,6 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
 
   def Apply(fn: Tree, args: List[Tree])(implicit ctx: Context): Apply = {
     assert(!fn.isInstanceOf[Block])
-    assert(!fn.isInstanceOf[If])
     ta.assignType(untpd.Apply(fn, args), fn, args)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,6 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {`
`43`	`43`
`44`	`44`	`def Apply(fn: Tree, args: List[Tree])(implicit ctx: Context): Apply = {`
`45`	`45`	`assert(!fn.isInstanceOf[Block])`
`46`		`- assert(!fn.isInstanceOf[If])`
`47`	`46`	`ta.assignType(untpd.Apply(fn, args), fn, args)`
`48`	`47`	`}`
`49`	`48`