{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// influence the inference result, but instead just examines the
/// these "type tests". The distinction is that a type test does not
/// values that we ultimately inferred for each region variable and