gistfile1.scala

import scala.reflect.runtime.universe._
import scala.tools.reflect.Eval

object O {
  type A = {
    type B = {
      type C = O.type
    }
  }
}

object Test extends App {
  val x: O.A = new {
    type B = O.A#B
  }

  val y: x.B = new {
    type C = x.B#C
  }

  def expr = reify {
    val a: O.A = x
    val b: x.B = y
    val c: y.C = O
  }

  println(expr.eval)
}