disabled TypeChecker