{"ast_node_type":"variable","tokens":[{"end":87,"kind":"keyword","start":0,"text":"let"}]}
                    let obligation: chalk_ir::InEnvironment<chalk_ir::Goal<Interner>> =
                    trait_ref.trait_id = to_chalk_trait_id(fn_x_trait);
                        InEnvironment {