bug: g_params uses concrete substs instead of identity args
Database:
prusti-20260305-202754-937425f70.db
109 file(s) affected
File
alloc_borrow_doctest_147.rs
alloc_boxed_doctest_268.rs
alloc_boxed_doctest_451.rs
alloc_boxed_doctest_637.rs
alloc_boxed_doctest_772.rs
alloc_boxed_doctest_915.rs
alloc_boxed_doctest_980.rs
alloc_collections_binary_heap_mod_doctest_374.rs
alloc_collections_binary_heap_mod_doctest_596.rs
alloc_collections_linked_list_doctest_834.rs
alloc_collections_linked_list_doctest_856.rs
alloc_collections_linked_list_doctest_908.rs
alloc_collections_linked_list_doctest_928.rs
alloc_collections_vec_deque_mod_doctest_1903.rs
alloc_collections_vec_deque_mod_doctest_1930.rs
alloc_collections_vec_deque_mod_doctest_1949.rs
alloc_collections_vec_deque_mod_doctest_2091.rs
alloc_collections_vec_deque_mod_doctest_2466.rs
alloc_collections_vec_deque_mod_doctest_2486.rs
alloc_rc_doctest_1024.rs
alloc_rc_doctest_1110.rs
alloc_rc_doctest_1195.rs
alloc_rc_doctest_1232.rs
alloc_rc_doctest_1733.rs
alloc_rc_doctest_1766.rs
alloc_rc_doctest_1859.rs
alloc_rc_doctest_2874.rs
alloc_rc_doctest_482.rs
alloc_rc_doctest_673.rs
alloc_sync_doctest_1166.rs
alloc_sync_doctest_1255.rs
alloc_sync_doctest_1338.rs
alloc_sync_doctest_1376.rs
alloc_sync_doctest_2277.rs
alloc_sync_doctest_2435.rs
alloc_sync_doctest_2477.rs
alloc_sync_doctest_3899.rs
alloc_sync_doctest_482.rs
alloc_sync_doctest_686.rs
alloc_vec_mod_doctest_3076.rs
alloc_vec_mod_doctest_770.rs
core_any_doctest_882.rs
core_array_mod_doctest_289.rs
core_array_mod_doctest_312.rs
core_array_mod_doctest_615.rs
core_array_mod_doctest_646.rs
core_cell_doctest_1184.rs
core_cell_doctest_158.rs
core_cell_doctest_2165.rs
core_cell_doctest_2269.rs
core_cell_doctest_2320.rs
core_cell_doctest_2384.rs
core_cell_doctest_2411.rs
core_cell_doctest_604.rs
core_cell_doctest_623.rs
core_cell_doctest_679.rs
core_cell_doctest_701.rs
core_cell_lazy_doctest_127.rs
core_cell_lazy_doctest_166.rs
core_cell_once_doctest_108.rs
core_cell_once_doctest_149.rs
core_cell_once_doctest_179.rs
core_cell_once_doctest_22.rs
core_cell_once_doctest_255.rs
core_cell_once_doctest_78.rs
core_convert_mod_doctest_318.rs
core_error_doctest_407.rs
core_hint_doctest_757.rs
core_iter_traits_iterator_doctest_1181.rs
core_iter_traits_iterator_doctest_1261.rs
core_mem_maybe_uninit_doctest_1036.rs
core_mem_maybe_uninit_doctest_1048.rs
core_mem_maybe_uninit_doctest_1111.rs
core_mem_maybe_uninit_doctest_428.rs
core_mem_maybe_uninit_doctest_591.rs
core_mem_maybe_uninit_doctest_652.rs
core_mem_maybe_uninit_doctest_70.rs
core_mem_maybe_uninit_doctest_917.rs
core_mem_maybe_uninit_doctest_955.rs
core_mem_maybe_uninit_doctest_981.rs
core_ops_range_doctest_769.rs
core_option_doctest_1701.rs
core_option_doctest_1733.rs
core_option_doctest_1756.rs
core_option_doctest_1783.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_option_doctest_727.rs
core_option_doctest_748.rs
core_option_doctest_828.rs
core_option_doctest_876.rs
core_option_doctest_885.rs
core_pin_doctest_1000.rs
core_pin_doctest_1170.rs
core_pin_doctest_1196.rs
core_pin_doctest_1250.rs
core_ptr_mut_ptr_doctest_603.rs
core_result_doctest_771.rs
core_slice_mod_doctest_161.rs
core_slice_mod_doctest_204.rs
core_slice_mod_doctest_246.rs
core_slice_mod_doctest_287.rs
core_slice_mod_doctest_341.rs
core_slice_mod_doctest_400.rs
core_slice_mod_doctest_461.rs
core_slice_mod_doctest_523.rs
core_slice_mod_doctest_892.rs
core_slice_mod_doctest_931.rs
core_sync_atomic_doctest_1544.rs