Skip to content

Simplify rpitit handling on lower_fn_decl#102013

Merged
bors merged 1 commit intorust-lang:masterfrom spastorino:rpitit-lower-fn-declSep 20, 2022

Commits

Commits on Sep 19, 2022