Make typeArgs in QuotesImpl work for AnnotatedTypes

[odersky]

Fixes #24006

[jchyb]

This is a good improvement even regardless of the regression. I only worry a bit because the same information could have also been accessed via explicitly matching against AppliedType(_, tArgs), which will also break now (although thankfully not in the linked project, where I only saw the problem with .typeArgs). Still, I understand that adjusting type inference to fit possible outdated macro implementations would be far too impractical

[odersky]

@jchyb Yes, I think the solution needs to be to make macros more robust with respect to variations. Adding an annotation to a type should not be a breaking change.

[noti0na1]

Wow, my PR is after your. Your laptop must be running faster on the tests than mine 😂

[noti0na1]

LGTM