Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Cascading else-ifs #211

Closed
graydon opened this issue Jan 27, 2011 · 1 comment
Closed

Cascading else-ifs #211

graydon opened this issue Jan 27, 2011 · 1 comment
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

Rustc doesn't know how to handle if-else if-else if-else cascades. Only if/else. Teach it how to do else if.
@brson
Copy link
Contributor

brson commented Feb 2, 2011

Fixed by graydon@70bf54b

matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
@antoyo
Merge pull request rust-lang#211 from rust-lang/fix/used-function-att…
06b6ec0 
…ribute-inline-asm

Add used function attribute from inline asm
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@avanhatt @tedinski
Move now-working boxed dyn trait test (rust-lang#211)
85ee556
tautschnig pushed a commit to celinval/rust-dev that referenced this issue Dec 6, 2024
@celinval
Enable harnesses that were blocked by Kani's spurious CEX (rust-lang#211
ee9b7c3 
)

In rust-lang#148 and rust-lang#122, we had to comment out a few harnesses due to the issue
model-checking/kani#3670. But now that the fix
has been pushed, we can enable them.
carolynzech pushed a commit to celinval/rust-dev that referenced this issue Dec 13, 2024
@tautschnig
Cleanup stray comment (rust-lang#218)
002c7c0 
With model-checking/kani#3670 having been
addressed we re-enabled harnesses in rust-lang#211. Yet the comment explaining
previously-commented-out-harnesses stayed in place.

Removing it for it no longer applies.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@graydon @brson