unsupported: trait objects — prusti-20260305-202754-937425f70.db

File
alloc_boxed_convert_doctest_349.rs
alloc_boxed_convert_doctest_374.rs
alloc_boxed_convert_doctest_408.rs
alloc_boxed_convert_doctest_433.rs
alloc_boxed_convert_doctest_467.rs
alloc_boxed_convert_doctest_492.rs
alloc_boxed_convert_doctest_529.rs
alloc_boxed_convert_doctest_562.rs
alloc_boxed_convert_doctest_599.rs
alloc_boxed_convert_doctest_637.rs
alloc_boxed_convert_doctest_660.rs
alloc_boxed_convert_doctest_683.rs
alloc_boxed_convert_doctest_702.rs
alloc_boxed_convert_doctest_723.rs
alloc_collections_binary_heap_mod_doctest_1290.rs
alloc_fmt_doctest_396.rs
alloc_fmt_doctest_427.rs
alloc_fmt_doctest_515.rs
alloc_fmt_doctest_547.rs
alloc_rc_doctest_1989.rs
alloc_rc_doctest_2022.rs
alloc_sync_doctest_1056.rs
alloc_sync_doctest_217.rs
alloc_sync_doctest_236.rs
alloc_sync_doctest_2695.rs
alloc_sync_doctest_2731.rs
alloc_vec_mod_doctest_1648.rs
alloc_vec_mod_doctest_1680.rs
core_any_doctest_123.rs
core_any_doctest_177.rs
core_any_doctest_209.rs
core_any_doctest_241.rs
core_any_doctest_27.rs
core_any_doctest_276.rs
core_any_doctest_304.rs
core_any_doctest_336.rs
core_any_doctest_360.rs
core_any_doctest_384.rs
core_any_doctest_412.rs
core_any_doctest_439.rs
core_any_doctest_470.rs
core_any_doctest_494.rs
core_any_doctest_50.rs
core_any_doctest_518.rs
core_any_doctest_546.rs
core_any_doctest_572.rs
core_any_doctest_659.rs
core_clone_doctest_364.rs
core_convert_mod_doctest_550.rs
core_error_doctest_152.rs
core_error_doctest_30.rs
core_error_doctest_316.rs
core_error_doctest_478.rs
core_error_doctest_541.rs
core_error_doctest_575.rs
core_error_doctest_58.rs
core_error_doctest_610.rs
core_error_doctest_642.rs
core_fmt_mod_doctest_1428.rs
core_fmt_mod_doctest_2551.rs
core_fmt_mod_doctest_694.rs
core_fmt_mod_doctest_823.rs
core_fmt_mod_doctest_97.rs
core_iter_traits_collect_doctest_181.rs
core_iter_traits_iterator_doctest_2442.rs
core_macros_mod_doctest_467.rs
core_macros_mod_doctest_540.rs
core_macros_mod_doctest_558.rs
core_macros_mod_doctest_628.rs
core_marker_doctest_1169.rs
core_marker_doctest_1216.rs
core_marker_doctest_131.rs
core_marker_doctest_284.rs
core_mem_mod_doctest_1297.rs
core_option_doctest_2142.rs
core_panic_unwind_safe_doctest_127.rs
core_panic_unwind_safe_doctest_155.rs
core_pin_doctest_1035.rs
core_pin_doctest_1297.rs
core_pin_doctest_1322.rs
core_primitive_docs_doctest_232.rs
core_primitive_docs_doctest_576.rs
core_ptr_const_ptr_doctest_95.rs
core_ptr_mod_doctest_2418.rs
core_ptr_mod_doctest_2447.rs
core_ptr_mut_ptr_doctest_78.rs
core_result_doctest_138.rs
core_result_doctest_1465.rs
core_result_doctest_159.rs
core_result_doctest_1791.rs
core_result_doctest_192.rs
core_result_doctest_646.rs
core_result_doctest_997.rs
core_str_traits_doctest_789.rs
core_task_ready_doctest_10.rs
core_task_ready_doctest_29.rs
core_task_wake_doctest_282.rs
core_task_wake_doctest_550.rs
core_task_wake_doctest_608.rs
core_task_wake_doctest_843.rs
core_unit_doctest_6.rs