{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"instance.args"}]}
        instance.args = tcx.mk_args_trait(self_ty, instance.args.into_iter().skip(1));
        };
    } else if let ty::InstanceKind::VTableShim(def_id) = instance.def