{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"this.substs_from_args_and_bindings("}]}
                        this.substs_from_args_and_bindings(
                        // this point (`super_trait_ref.substitution`).
                            binding.args.as_ref(),