type inferring bug

a simple example:
[code lang=scala]
              val remainingPatches:ListBuffer[MineralPatch] = new ListBuffer[MineralPatch]++=patches-=firstPatchInArea // all traversables[MineralPatches]
               remainingPatches.exists(_.inferedOrNot)
[/code]
in this case, the plugin knows that "_" is a mineralpatch. if i delete the type info from the declaration of remainingPatches, the ++= and -=-functions seem to confuse it. the compiler still compiles the code.

in another case, the plugin even assumed the mineralpatch to be a char or a Float, but i couldn't reproduce these ones properly

(youtrack didn't work so i posted it here)