{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// checks that they meet certain extra criteria. If not, an error
/// values that we ultimately inferred for each region variable and
/// can be issued.