How smart is implicitly? I always thought it was just something like

    def implicitly[T](implicit t: T) = t

Which would mean that there is still a virtual call. Is the scala compiler actually doing something smarter here, like making a direct reference to the implicit type that is in scope?