{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            tcx.types.unit
        instance.args = tcx.mk_args_trait(self_ty, instance.args.into_iter().skip(1));