Reading source annotations during type checking