don't typecheck in the background