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

Drop braces from alt, make arrow required #3057

Closed
brson opened this issue Jul 31, 2012 · 1 comment
Closed

Drop braces from alt, make arrow required #3057

brson opened this issue Jul 31, 2012 · 1 comment
Assignees
@brson
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) C-enhancement Category: An issue proposing an enhancement or a PR with one.
Milestone
0.4

Comments

@brson
Copy link
Contributor

brson commented Jul 31, 2012

Per roadmap
@ghost ghost assigned brson Jul 31, 2012
@brson
Copy link
Contributor Author

brson commented Aug 6, 2012

Done.

@brson brson closed this as completed Aug 6, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Sep 12, 2023
@bors
Auto merge of rust-lang#3057 - pitaj:master, r=RalfJung
864c3f3 
add subtree-sync label to rustc update PRs

For rust-lang#114157
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Upgrade toolchain to 2024-03-11 (rust-lang#3071)
e7a4d83 
Relevant upstream changes:

rust-lang#120675: An intrinsic `Symbol` is
now wrapped in a `IntrinsicDef` struct, so the relevant part of the code
needed to be updated.
rust-lang#121464: The second argument of
the `create_wrapper_file` function changed from a vector to a string.
rust-lang#121662: `NullOp::DebugAssertions`
was renamed to `NullOp::UbCheck` and it now has data (currently unused
by Kani)
rust-lang#121728: Introduces `F16` and
`F128`, so needed to add stubs for them
rust-lang#121969: `parse_sess` was renamed
to `psess`, so updated the relevant code.
rust-lang#122059: The
`is_val_statically_known` intrinsic is now used in some `core::fmt`
code, so had to handle it in (codegen'ed to false).
rust-lang#122233: This added a new
`retag_box_to_raw` intrinsic. This is an operation that is primarily
relevant for stacked borrows. For Kani, we just return the pointer.

Resolves rust-lang#3057
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brson brson

Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Milestone
0.4
Development

No branches or pull requests
1 participant
@brson