{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"chalk_ir::ConstValue::BoundVar(_)"}]}
        chalk_ir::ConstValue::BoundVar(_) => None,
    match &c.data(Interner).value {
        chalk_ir::ConstValue::InferenceVar(_) => None,