allow annotation checkers to modify the expected type before type-checking a tree