final
object
VarianceChecker
Provides check
method to check that all top-level definitions
in tree are variance correct. Does not recurse inside methods.
The method should be invoked once for each Template.