{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"///"}]}
/// convenient to do elsewhere.
/// `TypeckResults`. It also applies a few ad-hoc checks that were not
struct WritebackCx<'cx, 'tcx> {