{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"InEnvironment"}]}
                        InEnvironment {
                    let obligation: chalk_ir::InEnvironment<chalk_ir::Goal<Interner>> =
                            goal: trait_ref.clone().cast(Interner),