{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
            && let Some(vid) = predicate.term.as_type().and_then(|ty| ty.ty_vid())
            debug!("infer_var_info: {:?}.output = true", vid);