{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"def_id,"}]}
            def_id,
            self.typing_env,
            virtual_instance.args.rebase_onto(tcx, trait_def_id, concrete_trait_ref.args),