Skip to content

fix: report errors in driver_for_rust_engine#1985

Open
abentkamp wants to merge 1 commit intomainfrom
lean-fix-errors
Open

fix: report errors in driver_for_rust_engine#1985
abentkamp wants to merge 1 commit intomainfrom
lean-fix-errors

Conversation

@abentkamp
Copy link
Contributor

@abentkamp abentkamp commented Mar 16, 2026

Fixes #1978

I heavily relied on Claude to implement this fix. I removed some unrelated changes that Claude tried to make, but what's left looks good to me.

[skip changelog]

@abentkamp abentkamp marked this pull request as ready for review March 16, 2026 12:27
@abentkamp abentkamp requested a review from a team as a code owner March 16, 2026 12:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Function with &mut return values just produces sorry and does not emit an error

1 participant