On the impl of AnnotatedType

[Jonathan Gibbons]

On 01/24/2013 09:40 AM, Werner Dietl wrote:
> All other subtypes of TypeMirror don't use "Mirror" in the interface
> name. That's why I chose AnnotatedType over AnnotatedTypeMirror.
>
> It looks like the prevailing opinion is to try the anonymous subtype approach.
> Should I or do you want to do this in the type-annotations repo or in TL?
>
> cu, WMD.

Yes, but Joel's point is that annotated-ness is just an extension of 
TypeMirror, and not a fundamental new subtype. If we had default methods 
available, we would use that instead of AnnotatedType.  I tend to agree, 
but Joe has the final say in this part of the API.

-- Jon