There are already some bits of this with specific bytecode and the upcoming jit, it's not using annotations at all though