Skip to content

transmutability: fix ICE when passing wrong ADT to ASSUME#136730

Merged
bors merged 1 commit intorust-lang:masterfrom lukas-code:trans-iceFeb 9, 2025

Commits

Commits on Feb 8, 2025