Skip to content

add known-bug test for unsoundness issue#109380

Merged
bors merged 1 commit intorust-lang:masterfrom
Randl:patch-1
Mar 23, 2023
Merged

add `known-bug` test for unsoundness issue#109380
bors merged 1 commit intorust-lang:masterfrom
Randl:patch-1

Commits

Commits on Mar 20, 2023