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

Remove semicolon as struct field separator #3384

Closed
brson opened this issue Sep 4, 2012 · 3 comments
Closed

Remove semicolon as struct field separator #3384

brson opened this issue Sep 4, 2012 · 3 comments
Assignees
@brson
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Milestone
0.4

Comments

@brson
Copy link
Contributor

brson commented Sep 4, 2012

No description provided.

@ghost ghost assigned brson Sep 4, 2012
@burg
Copy link

burg commented Sep 10, 2012

Old syntax causes a compile error since 25dc59d. What's the timeline for sunsetting things in ObsoleteSyntax and ObsoleteReporter?

@brson
Copy link
Contributor Author

brson commented Sep 10, 2012

I think one release cycle is long enough to leave in an obsolete syntax error.

@brson
Copy link
Contributor Author

brson commented Sep 10, 2012

This is done.

@brson brson closed this as completed Sep 10, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Mar 23, 2024
@bors
Auto merge of rust-lang#3384 - rust-lang:rustup-2024-03-17, r=RalfJung
caa57dd 
Automatic Rustup
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Jul 29, 2024
@celinval
Add missing functionalities to kani_core (rust-lang#3384)
b18698f 
  - Add Arbitrary for array
  - Add Arbitrary for tuples
  - Add missing changes from modifies slices (rust-lang#3295)

Note that for adding `any_array` I had to cleanup the unnecessary usage
of constant parameters from `kani::any_raw`.
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-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
0.4
Development

No branches or pull requests
2 participants
@burg @brson