When printing a typechecking frame, it would be nice to display the source location of each mentioned frame context. We do in fact store a SrcLoc inside each LocatedTCFrame. However, to be able to pretty print them, we need access to the original source code. See #2452.
