Bug fix: annotating a type variable that has an annotated bound
wdietl at gmail.com
Mon Jan 28 12:47:40 PST 2013
one of the final changes we had last week was to maintain
AnnotatedType through erasure.
This results in an exception when annotating a type variable that has
an annotated bound: it tries to add an annotation to something that is
already annotated - the erasure of the upper bound.
The fix is easy: the annotation on the type variable overrides an
annotation from the bound.
Please file a bug and push to TL at your convenience.
More information about the type-annotations-dev