Cakey.scala

// fails to compile with:
//Cakey.scala:7: error: overriding value platform in trait SymbolLoaders of type Platform{type SymbolLoader = GlobalSymbolLoaders.this.SymbolLoader};
// value platform has incompatible type
//    val platform: ThisPlatform = Global.this.platform
//        ^
//one error found

class Global {
  type ThisPlatform = Platform {
    type SymbolLoader = Global.this.loaders.SymbolLoader
  }
  val platform: ThisPlatform = ???
  class GlobalSymbolLoaders extends SymbolLoaders {
    val platform: ThisPlatform = Global.this.platform
  }

  val loaders: GlobalSymbolLoaders = ???
}

trait SymbolLoaders {
  class SymbolLoader
  val platform: Platform { 
    type SymbolLoader = SymbolLoaders.this.SymbolLoader
  }
}

trait Platform {
  type SymbolLoader <: SymbolLoaders#SymbolLoader
}