{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"value:"}]}
                                        value: chalk_ir::ConstValue::BoundVar(BoundVar::new(
                                        ty,
                                            DebruijnIndex::INNERMOST,