Skip to content

new lint: unnecessary_box_pin#13598

Open
y21 wants to merge 1 commit intorust-lang:masterfrom
y21:unnecessary_pin_box
Open

new lint: `unnecessary_box_pin`#13598
y21 wants to merge 1 commit intorust-lang:masterfrom
y21:unnecessary_pin_box

Commits

Commits on Oct 23, 2024