Skip to content

Remove semicolon as struct field separator #3384

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
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`.
# for free to join this conversation on GitHub. Already have an account? # 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