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

Database: prusti-20260430-161753-9945d1347.db

2 file(s) affected