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: Nov 22 2019 at 05:35UTC