bug: ReVar from outer InferCtxt in try_normalize — prusti-20260505-163045-ad5e5b44b.db

File
alloc_boxed_doctest_146.rs
alloc_boxed_doctest_939.rs
alloc_collections_binary_heap_mod_doctest_1026.rs
alloc_collections_binary_heap_mod_doctest_1388.rs
alloc_collections_binary_heap_mod_doctest_19.rs
alloc_collections_btree_map_doctest_1317.rs
alloc_collections_btree_map_doctest_2588.rs
alloc_collections_btree_set_doctest_1657.rs
alloc_collections_btree_set_doctest_1682.rs
alloc_collections_btree_set_doctest_1707.rs
alloc_collections_btree_set_doctest_1732.rs
alloc_collections_btree_set_doctest_382.rs
alloc_collections_btree_set_doctest_996.rs
alloc_collections_linked_list_doctest_548.rs
alloc_collections_vec_deque_mod_doctest_1296.rs
alloc_collections_vec_deque_mod_doctest_1530.rs
alloc_rc_doctest_159.rs
alloc_slice_doctest_567.rs
alloc_slice_doctest_585.rs
alloc_slice_doctest_604.rs
alloc_string_doctest_21.rs
alloc_string_doctest_2651.rs
alloc_string_doctest_2660.rs
alloc_string_doctest_2669.rs
alloc_vec_mod_doctest_177.rs
core_borrow_doctest_133.rs
core_convert_mod_doctest_318.rs
core_iter_adapters_map_doctest_32.rs
core_iter_adapters_map_doctest_49.rs
core_iter_traits_iterator_doctest_1370.rs
core_iter_traits_iterator_doctest_1882.rs
core_iter_traits_iterator_doctest_1991.rs
core_iter_traits_iterator_doctest_2574.rs
core_iter_traits_iterator_doctest_2932.rs
core_iter_traits_iterator_doctest_3528.rs
core_iter_traits_iterator_doctest_643.rs
core_mem_mod_doctest_591.rs
core_num_uint_macros_doctest_2760.rs
core_ops_arith_doctest_543.rs
core_ops_control_flow_doctest_197.rs
core_ops_control_flow_doctest_302.rs
core_ops_control_flow_doctest_31.rs
core_ops_range_doctest_500.rs
core_ops_range_doctest_537.rs
core_option_doctest_2238.rs
core_option_doctest_540.rs
core_pin_doctest_1470.rs
core_primitive_docs_doctest_695.rs
core_primitive_docs_doctest_763.rs
core_primitive_docs_doctest_792.rs
core_primitive_docs_doctest_912.rs
core_primitive_docs_doctest_921.rs
core_result_doctest_1916.rs
core_result_doctest_505.rs
core_result_doctest_522.rs
core_result_doctest_810.rs
core_slice_iter_doctest_176.rs
core_slice_iter_doctest_48.rs
core_slice_mod_doctest_1046.rs
core_slice_mod_doctest_1096.rs
core_slice_mod_doctest_1175.rs
core_slice_mod_doctest_1266.rs
core_slice_mod_doctest_1531.rs
core_slice_mod_doctest_1584.rs
core_slice_mod_doctest_1704.rs
core_slice_mod_doctest_1797.rs
core_slice_mod_doctest_2250.rs
core_slice_mod_doctest_2309.rs
core_slice_mod_doctest_2369.rs
core_slice_mod_doctest_2401.rs
core_slice_mod_doctest_2426.rs
core_slice_mod_doctest_2456.rs
core_slice_mod_doctest_2482.rs
core_slice_mod_doctest_5010.rs
core_slice_raw_doctest_89.rs
core_str_error_doctest_20.rs
core_str_lossy_doctest_165.rs
core_str_lossy_doctest_18.rs
core_str_mod_doctest_2919.rs
core_str_mod_doctest_2965.rs
core_str_mod_doctest_3003.rs