diff options
| author | Jack Wrenn <jack@wrenn.fyi> | 2022-08-31 18:17:32 +0000 |
|---|---|---|
| committer | Jack Wrenn <jack@wrenn.fyi> | 2022-08-31 18:17:32 +0000 |
| commit | fbcc038a224e58f7d3aca25c7f2321f11ce5513d (patch) | |
| tree | 446e67c9293a5fb7ce440e20600f3a4bbd85b97b /library/core/src | |
| parent | 1d844fe6293cea3d857a0057b636b59434477d87 (diff) | |
| download | rust-fbcc038a224e58f7d3aca25c7f2321f11ce5513d.tar.gz rust-fbcc038a224e58f7d3aca25c7f2321f11ce5513d.zip | |
safe transmute: use `to_valtree` to destructure const `Assume`
ref: https://github.com/rust-lang/rust/pull/100726#discussion_r954813220
Diffstat (limited to 'library/core/src')
0 files changed, 0 insertions, 0 deletions