Update llbc code for rust-lang/rust#144607

tautschnig · tautschnig · commit 84b49d79870b · 2025-10-22T06:02:50.000Z
diff --git a/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs b/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
@@ -1014,7 +1014,6 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
             let traitref = self
                 .tcx
                 .impl_trait_ref(impl_defid_internal)
-                .unwrap()
                 .skip_binder()
                 .args
                 .first()
