Тип возвращаемого значения, зависящий от пути Scala, из параметра

В следующем коде используется 2.10.0M3 в плагине Eclipse 2.1.0 для 2.10M3. Я использую параметр по умолчанию, ориентированный на JVM 1.5

class GeomBase[T <: DTypes] {          
  abstract class NewObjs {
    def newHex(gridR: GridBase, coodI: Cood): gridR.HexRT          
  }

  class GridBase {
    selfGrid =>
      type HexRT = HexG with T#HexTr

    def uniformRect (init: NewObjs) {
      val hexCood = Cood(2 ,2)
      val hex: HexRT = init.newHex(selfGrid, hexCood)//  won't compile
    }
  }
}

Сообщение об ошибке:

Description Resource Path Location Type type mismatch;
  found: GeomBase.this.GridBase#HexG with T#HexTr
  required: GridBase.this.HexRT (which expands to) GridBase.this.HexG with T#HexTr GeomBase.scala   

Почему компилятор считает, что метод возвращает проекцию типа GridBase#HexG, хотя это должен быть конкретный экземпляр GridBase?

Правка перенесена в более простой класс кода в ответ на комментарии, теперь получающие другое сообщение об ошибке.

package rStrat
class TestClass {
  abstract class NewObjs {
    def newHex(gridR: GridBase): gridR.HexG
  }     
  class GridBase {
    selfGrid =>         

    def uniformRect (init: NewObjs) {
      val hex: HexG = init.newHex(this) //error here                        
    }       

    class HexG {
      val test12 = 5                 
    }
  }
}

.

Error line 11:Description   Resource    Path    Location    Type
type mismatch;  found   : gridR.HexG  required: GridBase.this.HexG
possible cause: missing arguments for method or constructor TestClass.scala /SStrat/src/rStrat  line 11 Scala Problem

Обновление Я перешел на 2.10.0M4 и обновил плагин до версии M4 на свежей версии Eclipse и перешел на JVM 1.6 (и 1.7), но проблемы не изменились.