Implement the Q1 2021 small features release in the Analyzer

[leafpetersen]

This tracks implementation work for this feature set.

cc @devoncarew @srawlins @scheglov @franklinyow

Individual feature tracking:

• Support for type arguments on annotations: Analyzer support for type arguments on annotations #44838 (@scheglov)
• Allow generic function types as type arguments and bounds: Allow generic function types as type arguments and bounds in analyzer #44929 (@srawlins)
• Handle the unsigned shift, triple-shift, >>> operator: Handle the unsigned shift, triple-shift, >>> operator in analyzer #44908 (@srawlins)

[leafpetersen]

@devoncarew @scheglov @stereotype441 any updates?

[devoncarew]

@srawlins for status on the 2nd and 3rd items

[srawlins]

Generic function typedefs and triple-shift are both looking good. The implementations have landed. I need to check with language tests and co19 tests though to see if we're missing anything.

[stereotype441]

Regarding generic annotations, last month I implemented parser and AST support, but wasn't able to get to the remainder of the feature (resolution, constant evaluation, and summary support). It's looking like between working on #44897 and addressing the migration bugs that have started coming in since the stable release, I'm not going to have much time available to complete work on generic annotations for the next few weeks. @devoncarew would it be possible to hand the rest of this task off to someone on the analyzer team (@scheglov perhaps)?

[devoncarew]

Hey - @scheglov and I discussed this - he's happy to take over the remaining work. Can you sync with him to make sure we're aware of the current state and what's left to do? I'll update the owners of the features in the summary message at the top of this issue to reflect who's working on which feature.

[stereotype441]

Hey - @scheglov and I discussed this - he's happy to take over the remaining work. Can you sync with him to make sure we're aware of the current state and what's left to do? I'll update the owners of the features in the summary message at the top of this issue to reflect who's working on which feature.

Thanks Devon! Konstantin and I just synced up and I believe he now has all the information he needs to proceed. I'm available if any questions come up.