{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"binders:"}]}
            binders: CanonicalVarKinds::empty(Interner),
            value: InEnvironment::new(&env.env, trait_ref.cast(Interner)),
        };