-
Notifications
You must be signed in to change notification settings - Fork 356
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Poor error in ./miri run --dep
when using a wrong -Zmiri
flag
#3976
Comments
./miri run --dep
when using a fron -Zmiri
flag./miri run --dep
when using a wrong -Zmiri
flag
This is caused by that unwrap here: Line 340 in 6636681
However, as far as I can see there is no nice way to report a |
I just need to fix the debug impl. |
Ideally it can use the already existing reporting logic, would be unfortunate to have the same error reported in two different ways. |
@oli-obk this is still a problem; seems like at this point all we need is a ui_test bump? |
Well we had #3948 but it had review requests 😛 and then I forgot about it |
Would be better to split the bump from the new feature. :) Which I think you have done now, thanks! |
This hasn't changed at all with the bump:
|
Showing stderr as its raw ASCII encoding isn't exactly readable. ;)
Cc @oli-obk
The text was updated successfully, but these errors were encountered: