Re: Reading source annotations during type checking