Add generic attribute instance dataflow tests

[sbomer]

[M]aybe create an issue to add tests which do some simple validation of data flow stuff on the generic instantiations of attributes.
I'm not worried about linker, but analyzer and AoT might have problems.

Originally posted by @vitek-karas in #2980 (review)

#2980 (review) adds support for generic attributes, but we could use more testing that validates basic dataflow, as per the suggestion.