Is it? I thought it was just first class type annotations that are ignored by everything except interested AST processors