{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// `TypeckResults`. It also applies a few ad-hoc checks that were not
/// those inference variables and writes the final result into the
/// convenient to do elsewhere.