Predicate Annotations::elementTypeAnnotations
Holds if the type annotations annotations apply to type type on element element.
Import path
import semmle.code.csharp.AnnotatedTypepredicate elementTypeAnnotations(@has_type_annotation element, Type type, TypeAnnotations annotations)