Improve check

nicolasstucki · nicolasstucki · commit 4dfda044b3cf · 2017-05-28T09:47:39.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
@@ -466,7 +466,7 @@ trait TypeAssigner {
       val rsym = refinement.symbol
       val rinfo = if (rsym is Accessor) rsym.info.resultType else rsym.info
       if (rinfo.isError) rinfo
-      else if (rinfo eq NoType) parent // can happen after failure in self type definition
+      else if (!rinfo.exists) parent // can happen after failure in self type definition
       else RefinedType(parent, rsym.name, rinfo)
     }
     val refined = (parent.tpe /: refinements)(addRefinement)

Original file line number	Diff line number	Diff line change
`@@ -466,7 +466,7 @@ trait TypeAssigner {`
`466`	`466`	`val rsym = refinement.symbol`
`467`	`467`	`val rinfo = if (rsym is Accessor) rsym.info.resultType else rsym.info`
`468`	`468`	`if (rinfo.isError) rinfo`
`469`		`- else if (rinfo eq NoType) parent // can happen after failure in self type definition`
	`469`	`+ else if (!rinfo.exists) parent // can happen after failure in self type definition`
`470`	`470`	`else RefinedType(parent, rsym.name, rinfo)`
`471`	`471`	`}`
`472`	`472`	`val refined = (parent.tpe /: refinements)(addRefinement)`