> Which method? 

`hasAnnotation`

Is a `NamedArgument` in an annotation tree touched by `PostTyperTransformer`? Or does it know not to bother with them?