Using empty refinement "{}" as a type by itself crashes in assertPositioned

[helloqirun]

scalac compiles but dotc crashes.

$ cat abc.scala

trait B {
  def f1: {}
}

$ dotc abc.scala

exception occurred while typechecking abc.scala

exception occurred while compiling abc.scala
Exception in thread "main" java.lang.AssertionError: assertion failed: position not set for TypeDef(<refinement>,Template(DefDef(<init>,List(),List(),TypeTree,EmptyTree),List(TypedSplice(TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,lang)),Object)])),ValDef(_,EmptyTree,EmptyTree),List())) # 59
	at scala.Predef$.assert(Predef.scala:165)
	at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:59)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1552)
	at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1551)
	at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:136)
	at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:57)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1551)
<...>

[odersky]

Fixed by above PR.

[smarter]

@odersky I see the fix in https://github.com/dotty-staging/dotty/commits/fix-%231867 but this hasn't been merged into master and there is no open PR for it?

[odersky]

Can you find out where it is and merge it?

…

On Sat, Jan 7, 2017 at 8:43 PM, Guillaume Martres ***@***.***> wrote: Reopened #1867 <#1867>. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#1867 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAwlVjtAE80nza-g2cWmX_f2Ly4bz0nUks5rP5aCgaJpZM4LYpkg> . {"api_version":"1.0","publisher":{"api_key":" 05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity": {"external_key":"github/lampepfl/dotty","title":" lampepfl/dotty","subtitle":"GitHub repository","main_image_url":" https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88- 11e6-95fc-7290892c7bb5.png","avatar_image_url":"https:// cloud.githubusercontent.com/assets/143418/15842166/ 7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/lampepfl/dotty"}}," updates":{"snippets":[{"icon":"DESCRIPTION","message":"Reopened #1867."}],"action":{"name":"View Issue","url":"https://github. com/lampepfl/dotty/issues/1867#event-914953076"}}}

-- Prof. Martin Odersky LAMP/IC, EPFL