Skip to content

Restrict query recursion in needs_significant_drop#93449

Merged
bors merged 1 commit intorust-lang:masterfrom
JakobDegen:restrict-hasdrop-optimization
Feb 26, 2022

Commits

Commits on Feb 24, 2022