about summary refs log tree commit diff
path: root/tests/rustdoc-ui/coverage/traits.rs
diff options
context:
space:
mode:
authorJubilee <workingjubilee@gmail.com>2025-02-08 20:41:23 -0800
committerGitHub <noreply@github.com>2025-02-08 20:41:23 -0800
commit36c1809aa2f12c5c69acb1d54eb708f0443d6200 (patch)
tree9870e78f85eaf485f181baa3cab6fed5a3e5a6b0 /tests/rustdoc-ui/coverage/traits.rs
parent117ebaa8e670c2f4659768e19af85c3339c4f735 (diff)
parentc097b2c6bb63e793d30191ffdcaf30c8e0d48607 (diff)
downloadrust-36c1809aa2f12c5c69acb1d54eb708f0443d6200.tar.gz
rust-36c1809aa2f12c5c69acb1d54eb708f0443d6200.zip
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```
Diffstat (limited to 'tests/rustdoc-ui/coverage/traits.rs')
0 files changed, 0 insertions, 0 deletions