Skip to content

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

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

Commits

Commits on Feb 8, 2025