- handle explicit type annotations on method results
- interpret annotations on type variables as bound and look for explicit bound first
- inherit annotations for wildcards
- handle intersection bounds
Also centralize annotation interpretation methods in a single class and merge two methods previously introduced to handle annotations for method results back into a single method.
RELNOTES: None.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=231288208