### error: 204
- ZST: 3
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/slice/rotate.rs#L74
```
error[E0999]: assertion might fail: possible division by zero
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/rotate.rs:171:41
|
171 | && cmp::min(left, right) <= mem::size_of::<BufType>() / mem_size_of_t
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```
- bit mask: 6
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/num/dec2flt/decimal.rs#L370
```
error[E0999]: assertion might fail: possible out-of-bounds access
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/num/dec2flt/decimal.rs:372:15
|
372 | let x_a = TABLE[shift];
| ^^^^^^^^^^^^
```
- bit shift: 13
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/fmt/num.rs#L739
```
error[E0999]: assertion might fail: possible division by zero
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/fmt/num.rs:741:9
|
741 | ((n >> 19) as u64 / div_shift) as u128
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```
- char cast magic: 2
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/num/dec2flt/parse.rs#L27
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/num/dec2flt/parse.rs:29:5
|
29 | v -= 0x3030_3030_3030_3030;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
```
- condition matching: 10
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/fmt/mod.rs#L1858
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/fmt/mod.rs:1860:25
|
1860 | nzeroes -= zeros_len;
| ^^^^^^^^^^^^^^^^^^^^
```
- logic constraint: 12
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/ffi/c_str.rs#L528
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/ffi/c_str.rs:530:9
|
530 | self_inner_len - 1
| ^^^^^^^^^^^^^^^^^^
```
- loop: 7
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/iter/traits/iterator.rs#L302
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/traits/iterator.rs:304:60
|
304 | return Err(unsafe { NonZero::new_unchecked(n - i) });
| ^^^^^
```
- sub vector length: 6
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/str/iter.rs#L196
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/str/iter.rs:198:38
|
198 | self.front_offset += pre_len - len;
| ^^^^^^^^^^^^^
```
- type cast: 4
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/num/int_sqrt.rs#L154
```
error[E0999]: assertion might fail: possible out-of-bounds access
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/num/int_sqrt.rs:156:22
|
156 | let (s, r) = U8_ISQRT_WITH_REMAINDER[n_usize];
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
321 | let (s, r) = first_stage!(128, n);
| -------------------- in this macro invocation
|
= note: this error originates in the macro `first_stage` (in Nightly builds, run with -Z macro-backtrace for more info)
```
- vector length: 17
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/num/flt2dec/strategy/dragon.rs#L76
```
error[E0999]: arithmetic operation may overflow
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/num/flt2dec/strategy/dragon.rs:78:19
|
78 | let largest = pow10_len - 1;
| ^^^^^^^^^^^^^
```
### Complex
- refinement type error not slice: 5
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/iter/traits/double_ended.rs#L399
```
error[E0999]: refinement type error
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/traits/double_ended.rs:401:5
|
401 | / fn try_rfold<B, F, R>(&mut self, init: B, f: F) -> R
402 | | where
403 | | F: FnMut(B, Self::Item) -> R,
404 | | R: Try<Output = B>,
| |___________________________^ a precondition cannot be proved
```
- refinement type error slice: 27
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/bstr.rs#L249
```
error[E0999]: refinement type error
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/borrow.rs:243:5
|
243 | fn borrow_mut(&mut self) -> &mut T {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a precondition cannot be proved
```
- refinement type error star: 31
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/21329df52a35c1de125922c576142e231db35cc8/library/core/src/borrow.rs#L241
```
error[E0999]: refinement type error
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/borrow.rs:243:5
|
243 | fn borrow_mut(&mut self) -> &mut T {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a precondition cannot be proved
```
### ICE: 274 (internal flux error / catched panic)
- assertion `left == right` failed: 3
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/future/pending.rs#L33
```
error: internal compiler error: /Users/Exelica/Downloads/project/flux/crates/flux-infer/src/infer.rs:841:17: assertion `left == right` failed
left: fn() -> ∃b0. T[b0]
right: fn() -> ∃b0. { T[b0] | * }
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/future/pending.rs:36:5
|
36 | Pending { _data: marker::PhantomData }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
thread 'rustc' panicked at /Users/Exelica/Downloads/project/flux/crates/flux-infer/src/infer.rs:841:17:
Box<dyn Any>
note: bug caught [def_id: DefId(0:12191 ~ core[8058]::future::pending::pending), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/future/pending.rs:35:1: 35:34 (#0)]
```
- cannot unfold in `NoUnfold` mode: 1
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/slice/sort/stable/quicksort.rs#L90
```
error: internal compiler error: crates/flux-refineck/src/type_env/place_ty.rs:112:9: cannot unfold in `NoUnfold` mode
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/sort/stable/quicksort.rs:135:47
|
135 | while state.scan < unroll_end {
| _______________________________________________^
136 | | state.partition_one(is_less(&*state.scan, &*pivot));
137 | | state.partition_one(is_less(&*state.scan, &*pivot));
138 | | state.partition_one(is_less(&*state.scan, &*pivot));
139 | | state.partition_one(is_less(&*state.scan, &*pivot));
140 | | }
| |_________________^
thread 'rustc' panicked at crates/flux-refineck/src/type_env/place_ty.rs:112:9:
Box<dyn Any>
note: bug caught [def_id: DefId(0:9873 ~ core[8058]::slice::sort::stable::quicksort::stable_partition), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/sort/stable/quicksort.rs:93:1: 99:11 (#0)]
```
- expected array or slice type: 23
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/char/methods.rs#L1798
```
error: internal compiler error: crates/flux-refineck/src/checker.rs:1180:18: expected array or slice type
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/char/methods.rs:1803:13
|
1803 | (1, [a, ..]) => {
| ^^^^^^^
thread 'rustc' panicked at crates/flux-refineck/src/checker.rs:1180:18:
Box<dyn Any>
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
note: bug caught [def_id: DefId(0:4804 ~ core[8058]::char::methods::encode_utf8_raw), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/char/methods.rs:1800:1: 1800:69 (#0)]
```
- generics_of called: 17
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/array/mod.rs#L834
```
error[E0999]: internal flux error: crates/flux-fhir-analysis/src/lib.rs:353:17
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/array/mod.rs:837:31
|
837 | try_from_trusted_iterator(iter.map(NeverShortCircuit)).0
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: generics_of called on `Local(DefId(0:3452 ~ core[8058]::ops::try_trait::NeverShortCircuit::{constructor#0}))` with kind `Ctor(Struct, Fn)`
```
- impossible case reached: 1
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/iter/adapters/map_windows.rs#L251
```
error: internal compiler error: crates/flux-infer/src/projections.rs:485:9: impossible case reached
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/mem/transmutability.rs:139:28
|
139 | let dst = unsafe { transmute.dst };
| ^^^^^^^^^^^^^
thread 'rustc' panicked at crates/flux-infer/src/projections.rs:485:9:
Box<dyn Any>
note: bug caught [def_id: DefId(0:43733 ~ core[8058]::iter::adapters::map_windows::{impl#10}::next), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/adapters/map_windows.rs:257:5: 257:45 (#0)]
```
- incompatible base types: 16
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/panicking.rs#L90
```
error[E0999]: internal flux error: crates/flux-infer/src/infer.rs:844:22
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/intrinsics/mod.rs:3863:9
|
3863 | const_eval_select(($($val,)*), compiletime, runtime)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
::: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/panicking.rs:93:5
|
93 | / const_eval_select!(
94 | | @capture { fmt: fmt::Arguments<'_>, force_no_backtrace: bool } -> !:
95 | | if const #[track_caller] {
... |
121 | | )
| |_____- in this macro invocation
|
= note: incompatible base types: `!` - `!`
= note: this error originates in the macro `$crate::intrinsics::const_eval_select` which comes from the expansion of the macro `const_eval_select` (in Nightly builds, run with -Z macro-backtrace for more info)
```
- invalid cast char to int: 16
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/escape.rs#L128
```
error: internal compiler error: crates/flux-refineck/src/checker.rs:1307:25: invalid int to int cast char[a0] --> u32
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/escape.rs:133:13
|
133 | let c = c as u32;
| ^^^^^^^^
```
- invalid field projection: 1
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/mem/transmutability.rs#L115
```
error: internal compiler error: crates/flux-refineck/src/type_env/place_ty.rs:673:18: invalid field projection on `Transmute<λb0. { Src[b0] | * }, λb1. { Self[b1] | * }>`
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/mem/transmutability.rs:139:28
|
139 | let dst = unsafe { transmute.dst };
| ^^^^^^^^^^^^^
thread 'rustc' panicked at crates/flux-refineck/src/type_env/place_ty.rs:673:18:
Box<dyn Any>
note: bug caught [def_id: DefId(0:1838 ~ core[8058]::mem::transmutability::TransmuteFrom::transmute), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/mem/transmutability.rs:117:5: 120:21 (#0)]
```
- no primop rule: 8
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/slice/sort/shared/pivot.rs#L73
```
error: internal compiler error: crates/flux-refineck/src/primops.rs:75:32: no primop rule for [(bool, a5), (bool, a3)]
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/sort/shared/pivot.rs:85:12
|
85 | if z ^ x { c } else { b }
| ^^^^^
thread 'rustc' panicked at crates/flux-refineck/src/primops.rs:75:32:
Box<dyn Any>
note: bug caught [def_id: DefId(0:10009 ~ core[8058]::slice::sort::shared::pivot::median3), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/sort/shared/pivot.rs:75:1: 75:90 (#0)]
```
- region parameter out of range: 7
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/ops/async_function.rs#L74
```
error: internal compiler error: crates/flux-middle/src/rty/subst.rs:171:21: region parameter out of range
thread 'rustc' panicked at crates/flux-middle/src/rty/subst.rs:171:21:
Box<dyn Any>
note: bug caught [def_id: DefId(0:35920 ~ core[8058]::ops::async_function::impls::{impl#2}::async_call), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/ops/async_function.rs:76:9: 76:84 (#0)]
```
- type parameter out of range: 2
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/portable-simd/crates/core_simd/src/vector.rs#L1212
```
error: internal compiler error: crates/flux-middle/src/rty/subst.rs:163:21: type parameter out of range
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../portable-simd/crates/core_simd/src/vector.rs:1224:24
|
1224 | return index.cast().simd_lt(Simd::splat(len.min(N) as $ty)).cast();
| ^^^^^^^^^^^^
...
1228 | case!(u8);
| --------- in this macro invocation
|
= note: this error: internal compiler error originates in the macro `case` (in Nightly builds, run with -Z macro-backtrace for more info)
thread 'rustc' panicked at crates/flux-middle/src/rty/subst.rs:163:21:
Box<dyn Any>
note: bug caught [def_id: DefId(0:23302 ~ core[8058]::core_simd::vector::mask_up_to), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../portable-simd/crates/core_simd/src/vector.rs:1214:1: 1217:20 (#0)]
```
- unexpected escaping region BoundRegion: 2
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/iter/adapters/filter_map.rs#L162
```
error: internal compiler error: /Users/Exelica/Downloads/project/flux/crates/flux-middle/src/rty/binder.rs:165:18: unexpected escaping region BoundRegion { var: 0, kind: BrNamed(DefId(0:61655 ~ core[8058]::iter::adapters::filter_map::{impl#2}::next_back::find::'_), '_) }
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/adapters/filter_map.rs:169:10
|
169 | }
| ^
thread 'rustc' panicked at /Users/Exelica/Downloads/project/flux/crates/flux-middle/src/rty/binder.rs:165:18:
Box<dyn Any>
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
note: bug caught [def_id: DefId(0:5590 ~ core[8058]::iter::adapters::filter_map::{impl#2}::next_back::find), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/adapters/filter_map.rs:162:9: 164:54 (#0)]
```
- unsupported statement: 3
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/slice/ascii.rs#L344
```
error[E0999]: unsupported statement
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/ascii.rs:347:16
|
347 | while let [rest @ .., last] = bytes {
| ^^^^
|
= note: unsupported place `(*_1)[:-1]`
```
- unsupported terminator: 49
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/stdarch/crates/core_arch/src/x86/eflags.rs#L33
```
error[E0999]: unsupported terminator
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../stdarch/crates/core_arch/src/x86/eflags.rs:37:5
|
37 | asm!("pushfq", "pop {}", out(reg) eflags, options(nomem, att_syntax));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: Terminator { source_info: SourceInfo { span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../stdarch/crates/core_arch/src/x86/eflags.rs:37:5: 37:74 (#0), scope: scope[1] }, kind: asm!("pushfq
pop {0}", out(reg) _1, options(NOMEM | ATT_SYNTAX)) -> [return: bb1, unwind unreachable] }
```
- unsupported terminator call: 1
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/unicode/printable.rs#L4
```
error[E0999]: unsupported terminator call
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/unicode/printable.rs:26:25
|
26 | while let Some(v) = normal.next() {
| ^^^^^^^^^^^^^
|
= note: unsupported type `?8t`
```
- Unimplemented: 5
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/iter/traits/iterator.rs#L2047
```
error: internal compiler error: crates/flux-infer/src/projections.rs:318:23: error selecting Obligation(predicate=TraitPredicate(<<iter::adapters::by_ref_sized::ByRefSized<'_, Self> as iter::traits::iterator::Iterator>::Item as ops::try_trait::Try>, polarity:Positive), depth=0): Unimplemented
thread 'rustc' panicked at crates/flux-infer/src/projections.rs:318:23:
Box<dyn Any>
note: bug caught [def_id: DefId(0:7514 ~ core[8058]::iter::traits::iterator::Iterator::try_collect), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/traits/iterator.rs:2051:5: 2055:54 (#0)]
```
- unsupported terminator: 4
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/stdarch/crates/core_arch/src/x86/avx512fp16.rs#L815
```
error[E0999]: unsupported terminator
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../stdarch/crates/core_arch/src/x86/avx512fp16.rs:826:9
|
826 | / asm!(
827 | | "vcmpph {k} {{{k1}}}, {a}, {b}, {{sae}}, {imm8}",
828 | | k = lateout(kreg) dst,
829 | | k1 = in(kreg) k1,
... |
833 | | options(pure, nomem, nostack)
834 | | );
| |_________^
|
= note: Terminator { source_info: SourceInfo { span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/../../stdarch/crates/core_arch/src/x86/avx512fp16.rs:826:9: 834:10 (#0), scope: scope[2] }, kind: asm!("vcmpph {0} {{{1}}}, {2}, {3}, {{sae}}, {4}", lateout(kreg) _7, in(kreg) move _9, in(zmm_reg) move _10, in(zmm_reg) move _11, const const core_arch::x86::avx512fp16::_mm512_mask_cmp_round_ph_mask::<IMM5, SAE>::{constant#2}, options(PURE | NOMEM | NOSTACK)) -> [return: bb2, unwind unreachable] }
```
- unsupported unsize cast: 19
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/cell.rs#L2377
```
error[E0999]: internal flux error: crates/flux-refineck/src/checker.rs:1395:17
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/cell.rs:2385:36
|
2385 | let _: UnsafeCell<&dyn Send> = a;
| ^
|
= note: unsupported unsize cast from `UnsafeCell<λb0. &'?20 ∃b1. i32[b1][b0]>` to `cell::UnsafeCell<&'?6 dyn marker::Send + '?7>`
```
### Panic: 96 (uncatched panic)
- `Option::unwrap()` on None: 19
https://github.com/Zn2FePO424H2O/flux-verify-std/blob/30c759cfb4b223d66f9d1f93f79eb8eaa6e60107/library/core/src/str/count.rs#L39
```
thread 'rustc' panicked at crates/flux-infer/src/infer.rs:378:73:
called `Option::unwrap()` on a `None` value
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
note: uncaught panic [def_id: DefId(0:11228 ~ core[8058]::str::count::do_count_chars), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/str/count.rs:41:1: 41:36 (#0)]
```
- cannot infer substitution: 36
```rust
const unsafe fn get_offset_len_noubcheck<T>(
ptr: *const [T],
offset: usize,
len: usize,
) -> *const [T] {
// SAFETY: The caller already checked these preconditions
let ptr = unsafe { get_noubcheck(ptr, offset) };
crate::intrinsics::aggregate_raw_ptr(ptr, len)
}
```
```
error: internal compiler error: crates/flux-infer/src/projections.rs:512:21: cannot infer substitution for param GenericParamDef { name: "P", def_id: DefId(0:1713 ~ core[8058]::intrinsics::{impl#0}::P), index: 0, pure_wrt_drop: false, kind: Type { has_default: false, synthetic: false } }
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/slice/index.rs:110:5
|
110 | crate::intrinsics::aggregate_raw_ptr(ptr, len)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```
- escaping bound vars: 41
```rust
fn clone_try_fold<T: Clone, Acc, R>(mut f: impl FnMut(Acc, T) -> R) -> impl FnMut(Acc, &T) -> R {
move |acc, elt| f(acc, elt.clone())
}
```
```
thread 'rustc' panicked at compiler/rustc_trait_selection/src/traits/select/mod.rs:305:24:
`TraitPredicate(<{closure@/Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/adapters/cloned.rs:31:5: 31:20} as ops::function::FnOnce<(Acc, &T)>>, polarity:Positive)` has escaping bound vars, so it cannot be wrapped in a dummy binder.
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
note: uncaught panic [def_id: DefId(0:5904 ~ core[8058]::iter::adapters::cloned::clone_try_fold), span: /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/iter/adapters/cloned.rs:30:1: 30:96 (#0)]
```
Sign in with Wallet
Connect another wallet