Skip to content

Remove an unnecessary restriction in dest_prop#94305

Merged
bors merged 1 commit intorust-lang:masterfrom JakobDegen:dp-1Feb 25, 2022