update rewrite_assignment to return RewriteResult#6295
Merged
ytmimi merged 1 commit intorust-lang:masterfrom Sep 1, 2024
Merged
update rewrite_assignment to return RewriteResult#6295ytmimi merged 1 commit intorust-lang:masterfrom
ytmimi merged 1 commit intorust-lang:masterfrom