question: public TraitTypeCheckingExtension ( final StaticTypeCheckingVisitor typeCheckingVisitor ) { super ( typeCheckingVisitor ) ; }
target:  Builds a type checking extension relying on a Groovy script (type checking DSL).