Skip to content

Abort on double-failure. #910 #11283

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

Merged
merged 1 commit into from
Jan 4, 2014
Merged

Abort on double-failure. #910 #11283

merged 1 commit into from
Jan 4, 2014

Conversation

brson
Copy link
Contributor

@brson brson commented Jan 3, 2014

Previously this was an rtabort!, indicating a runtime bug. Promote
this to a more intentional abort and print a (slightly) more
informative error message.

Can't test this sense our test suite can't handle an abort exit.

I consider this to close #910, and that we should open another issue about implementing less conservative semantics here.

Previously this was an rtabort!, indicating a runtime bug. Promote
this to a more intentional abort and print a (slightly) more
informative error message.

Can't test this sense our test suite can't handle an abort exit.
bors added a commit that referenced this pull request Jan 4, 2014
Previously this was an `rtabort!`, indicating a runtime bug. Promote
this to a more intentional abort and print a (slightly) more
informative error message.

Can't test this sense our test suite can't handle an abort exit.

I consider this to close #910, and that we should open another issue about implementing less conservative semantics here.
@bors bors closed this Jan 4, 2014
@bors bors merged commit 649c648 into rust-lang:master Jan 4, 2014
flip1995 pushed a commit to flip1995/rust that referenced this pull request Aug 11, 2023
Suppress `question_mark` warning if `question_mark_used` is not allowed

Closes rust-lang#11283

changelog: [`question_mark`]: Don't lint if `question_mark_used` is not allowed
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.

Decide what to do when on task double-failure
3 participants