Don't let tools.namespace stackoverflows kill type checking.