~/code scala210
Welcome to Scala version 2.10.0-M6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_27).
Type in expressions to have them evaluated.
Type :help for more information.

scala> object Bish {
     |   def m {
     |     object Bash {
     |       reflect.runtime.currentMirror.universe.typeOf[Option[_]]
     |     }
     |   }
     | }
<console>:10: error: exception during macro expansion: java.lang.StackOverflowError
             reflect.runtime.currentMirror.universe.typeOf[Option[_]]
                                                          ^

scala> object Bosh {
     |   def Besh {
     |     new {
     |       val t = reflect.runtime.currentMirror.universe.typeOf[Option[_]]
     |       val x = t
     |     }
     |   }
     | }
<console>:11: error: recursive value t needs type
             val x = t
                     ^
<console>:10: error: exception during macro expansion: 
scala.reflect.makro.UnexpectedReificationError: internal error: erroneous reifees are not supported, make sure that your reifee has typechecked successfully before passing it to the reifier
	at scala.reflect.reify.Errors$class.CannotReifyErroneousReifee(Errors.scala:72)