// file1:

trait _Map extends AnyRef with Iterable[_Map] {

}

// file2:
trait _DefaultMapModel extends AnyRef with _Map {
  def elements  = new Iterator[_Map] {
    def hasNext = true;
    def next: _Map = null;
  }
}

// file3:
class _HashMap extends _Map with _DefaultMapModel {
}