Skip to content

Restore a test that was intended to test as cast to ptr#97765

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:restorationJun 6, 2022
+2-1

Commits

Commits on Jun 5, 2022