bug: ReVar from outer InferCtxt in try_normalize

Database: prusti-20260304-165534-d23d93192.db

21 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_traits_iterator_doctest_2574.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_str_error_doctest_20.rs