Skip to content

remove unnecessary Rc#113573

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:typeck-results
Jul 12, 2023
Merged

remove unnecessary `Rc`#113573
bors merged 1 commit intorust-lang:masterfrom
lcnr:typeck-results

Commits

Commits on Jul 11, 2023