scala-ide/scala-ide — pull request #225 by dragos (2012-11-04 11:49:46+00:00)
Title: Moved out askType from inside `ask`. 

The presentation compiler is not designed to handle a call to `askType` inside an
ask. The `ask` closure is run during type-checking, and `askType` will usually trigger a complete
re-type-check of the (possible same) file. This may lead to spurious errors and bring
the compiler in a bad state.

See [SI-6578](https://issues.scala-lang.org/browse/SI-6578). I used a local build with this patch for 2 days and didn't see the spurious error (nor any messages in the log about duplicate synthetics).