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

Eliminate the distinction between statements and tail expressions #3058

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

Eliminate the distinction between statements and tail expressions #3058

brson opened this issue Jul 31, 2012 · 1 comment
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) A-type-system Area: Type system 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

I don't see an issue open for this. It's on the roadmap.

Making ignored values an error (#2974) helps because then we can assume that type of the final statement is intended to be used. Then the semi-colon can be optional, as are other trailing seperators.
@graydon
Copy link
Contributor

graydon commented Aug 31, 2012

triage meeting determined this is wontfix

@graydon graydon closed this as completed Aug 31, 2012
bors pushed a commit to rust-lang-ci/rust that referenced this issue May 15, 2021
@scampi @topecongiro
do not format a code block in documentation if it is annotated with i…
2bcc3a9 
…gnore or text (rust-lang#3058)
RalfJung pushed a commit to RalfJung/rust that referenced this issue Sep 12, 2023
@bors
Auto merge of rust-lang#3058 - RalfJung:no-merge, r=saethlin
3bf9c5a 
enforce no-merge policy via triagebot

r? `@rust-lang/miri`
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@jaisnan
Add --use-local-toolchain to Kani setup (rust-lang#3056)
45caad4 
Adds `--use-local-toolchain` to Kani's setup flow, which accepts a local
toolchain and then uses that to finish the Kani setup.

Some notes:

1. Why? This is mainly for installing GPG verified toolchains. 
2. This is missing some cleanup and refactoring work, like ensuring that
the user defined toolchain matches the one that Kani was built against
etc. Marked as Todo, for later.

Resolves [rust-lang#3058](model-checking/kani#3058)

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) A-type-system Area: Type system 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
2 participants
@graydon @brson