bug: ReVar from outer InferCtxt in try_normalize

Database: prusti-20260305-202754-937425f70.db

31 file(s) affected

File
alloc_boxed_doctest_146.rs
alloc_string_doctest_21.rs
alloc_string_doctest_2651.rs
alloc_string_doctest_2660.rs
alloc_string_doctest_2669.rs
core_alloc_layout_doctest_407.rs
core_borrow_doctest_133.rs
core_hash_mod_doctest_452.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_643.rs
core_mem_mod_doctest_591.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_primitive_docs_doctest_695.rs
core_primitive_docs_doctest_921.rs
core_result_doctest_1916.rs
core_result_doctest_505.rs
core_result_doctest_522.rs
core_slice_mod_doctest_5010.rs
core_str_error_doctest_20.rs