called `Result::unwrap()` on an `Err` value: DependencyError([("wand encoder", "WandEncTask { data: FunctionData { def_id: DefId(2:11056 ~ core[b6b5]::result::{impl#0}::as_ref), substs: [std::string::String, &'?59 str], caller_def_id: Some(DefId(0:3 ~ core_result_doctest_593[84c6]::main)) } }", []), ("wand encoder", "Unsupported(\"coupled edges: CoupleInputError\")", [])])

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

1 file(s) affected