{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// those inference variables and writes the final result into the
/// fn-specific typeck results to find inference variables. It resolves
/// `TypeckResults`. It also applies a few ad-hoc checks that were not