{"ast_node_type":"variable","tokens":[{"end":37,"kind":"keyword","start":0,"text":"let"}]}
            let abstract_trait_args =
            instance.def = ty::InstanceKind::Virtual(method_id, 0);
                tcx.mk_args_trait(invoke_ty, trait_ref.args.into_iter().skip(1));