Files
rust/compiler
Jubilee 36c1809aa2 Rollup merge of #136730 - lukas-code:trans-ice, r=jswrenn
transmutability: fix ICE when passing wrong ADT to ASSUME

- Remove an incorrect assert that the `ASSUME` parameter has the type `Assume` and delay a bug instead.
- Since we checked the type of `ASSUME` is `Assume` (an ADT), its valtree must be a branch, so we can just unwrap it.

r? ```@jswrenn```
2025-02-08 20:41:23 -08:00
..
2025-01-07 14:30:02 +02:00
2025-01-29 09:48:08 +01:00
2025-02-03 12:53:57 -08:00