Expected a pointer: InterpErrorInfo(InterpErrorInfoInner { kind: UndefinedBehavior(ScalarSizeMismatch(ScalarSizeMismatch { target_size: 8, data_size: 4 })), backtrace: InterpErrorBacktrace { backtrace: None } })

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

2 file(s) affected