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

New closure kind syntax #3056

Closed
brson opened this issue Jul 31, 2012 · 2 comments
Closed

New closure kind syntax #3056

brson opened this issue Jul 31, 2012 · 2 comments
Labels
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

It's on the roadmap but I can't find a bug for it.

Change closure syntax to fn, fn:copy, fn:send, etc.
@bblum
Copy link
Contributor

bblum commented Jul 31, 2012

#2829?

@brson
Copy link
Contributor Author

brson commented Jul 31, 2012

Yeah, that works.

@brson brson closed this as completed Jul 31, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Sep 12, 2023
@bors
Auto merge of rust-lang#3056 - Nilstrieb:patch-1, r=RalfJung
f62be6d 
Use `#!/usr/bin/env` shebang

```
$ ls /bin/bash
ls: cannot access '/bin/bash': No such file or directory
```

On certain systems, `/bin` and `/usr/bin` are nothing but wastelands, with just `env`around as the last survivor of the great purge. The binaries have cowardly hidden away and only `env` can show us the way to greatness (bash). ❄️
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
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
@brson @bblum