{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"value:"}]}
        value: chalk_ir::Binders::new(binders, value_bound),
        associated_ty_id: to_assoc_type_id(assoc_ty),
    };