hasTypeAscription

WartTraverser

hasWartAnnotation

WartTraverser