Stream: t-compiler

Topic: TyCtxtAt

RalfJ (Jul 02 2019 at 10:24, on Zulip):

I am somewhat confused by when I should use TyCtxtAt vs TyCtxt. Would be nice if TyCtxtAt would have a doc comment explaining that :D

oli (Jul 06 2019 at 12:51, on Zulip):

If i remember correctly the TyCtxtAt gives query errors better diagnostic spans

Last update: May 24 2020 at 23:45UTC