transmutability: fix ICE when passing wrong ADT to ASSUME#136730
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 9, 2025
Merged
transmutability: fix ICE when passing wrong ADT to ASSUME#136730bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Feb 8, 2025
- committed
Lukas Markeffsky