{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
/// values that we ultimately inferred for each region variable and
/// influence the inference result, but instead just examines the
/// checks that they meet certain extra criteria. If not, an error