ConcurrentModificationException in scala.tools.editor.Typers.flushTyper

User picture
User picture
User picture
User picture
User picture
User picture