Skip to content

update replace_bound_vars_with_placeholders doc comment#94840

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:update-comment
Mar 11, 2022
Merged

update `replace_bound_vars_with_placeholders` doc comment#94840
bors merged 1 commit intorust-lang:masterfrom
lcnr:update-comment

Commits

Commits on Mar 11, 2022