Skip to content

Fix uintended diagnostic caused by drain(..)#101161

Merged
bors merged 1 commit intorust-lang:masterfrom
ldm0:ldm_fix_diagnostic
Sep 1, 2022
Merged

Fix uintended diagnostic caused by `drain(..)`#101161
bors merged 1 commit intorust-lang:masterfrom
ldm0:ldm_fix_diagnostic

Commits

Commits on Aug 31, 2022