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

Prohibit non-tag-ctors in tag pattern arms #76

Closed
graydon opened this issue Jun 28, 2010 · 1 comment
Closed

Prohibit non-tag-ctors in tag pattern arms #76

graydon opened this issue Jun 28, 2010 · 1 comment
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@graydon
Copy link
Contributor

graydon commented Jun 28, 2010

Pattern-tags accept matching on a general function item, at least as far as the middle-end.
@graydon
Copy link
Contributor Author

graydon commented Jan 27, 2011

WONTFIX (not required for bootstrapping)

@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
oli-obk added a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@oli-obk
fix null optimizations for smaller than pointer enums
d42a7d0 
fixes rust-lang#76
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@steveklabnik
Merge pull request rust-lang#76 from estebank/on-unimplemented-name
34cc3c6 
Update description of `rustc_on_unimplemented`
@venkag venkag mentioned this issue Feb 13, 2019
Closed
eddyb pushed a commit to eddyb/rust that referenced this issue Jun 30, 2020
@ibabushkin
Merge pull request rust-lang#76 from rust-dev-tools/dependabot/cargo/…
358f50f 
…rand-0.6

Update rand requirement from 0.5 to 0.6
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Merge pull request rust-lang#76 from OlegTheCat/fix-example
b95c72d 
Fix detection of extern functions defined in Rust
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
celinval pushed a commit to celinval/rust-dev that referenced this issue Nov 29, 2024
@stogaru @carolynzech
Contract and Harnesses for <*const T>::offset_from (rust-lang#154)
4c86400 
Towards rust-lang#76 

### Changes

* Adds contracts for `<*const T>::offset_from`.
* Adds harnesses for the function verifying:
    * All integer types
    * Tuples (composite types)
    * Unit Type
* Accomplishes this using a macro.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Carolyn Zech <[email protected]>
celinval pushed a commit to celinval/rust-dev that referenced this issue Nov 29, 2024
@stogaru @xsxszab @MayureshJoshi25
Contracts and Harnesses for <*mut T>::add, sub and offset (rust…
014965a 
…-lang#113)

Towards rust-lang#76 

### Changes
* Adds contracts for `<*mut T>::add`, `<*mut T>::sub` and `<*mut
T>::offset`
* Adds proofs for contracts of the above functions verifying the pointee
types:
  * All integer types
  * Tuples (composite type)
  * Unit Type
* Defines a macro for add and sub and another for offset.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Yifei Wang <[email protected]>
Co-authored-by: MayureshJoshi25 <[email protected]>
Co-authored-by: Yifei Wang <[email protected]>
celinval pushed a commit to celinval/rust-dev that referenced this issue Dec 6, 2024
@xsxszab
Contracts and Harnesses for <*const T>::add, sub and offset (ru…
d0d9de2 
…st-lang#166)

Towards rust-lang#76 

**Summary**
* Adds contracts for <*const T>::add, sub and offset.
* Adds proof for contracts for above methods, verifying following
pointee types:
    * All integer types
    * Tuples (representing composite types)
    * Slices
    * Unit type
celinval pushed a commit to celinval/rust-dev that referenced this issue Dec 6, 2024
@MayureshJoshi25 @stogaru
@carolynzech @feliperodri
Contracts and harnesses for <*mut T>::offset_from (rust-lang#168)
a52b65a 
- Added contracts for offset_from (mut type);
- Accomplished using a macro which generates harnesses;
- Verifies: int types, unit, tuples (composite types).

Towards rust-lang#76

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: stogaru <[email protected]>
Co-authored-by: Carolyn Zech <[email protected]>
Co-authored-by: Felipe R. Monteiro <[email protected]>
carolynzech pushed a commit to celinval/rust-dev that referenced this issue Dec 9, 2024
@xsxszab @stogaru @feliperodri
Added <dyn Trait> Proof for Contracts for byte_add, byte_sub, a…
6077459 
…nd `byte_offset` (rust-lang#188)

Towards rust-lang#76 

This pull request impelments proof for contracts for `byte_add`,
`byte_sub` and `byte_offset` for `<dyn Trait>`. Both `const` and `mut`
versions are included.

It serves as an addition to an existing
[PR](model-checking#169) but is
submitted separately to avoid disrupting the ongoing review process for
that PR.

---------

Co-authored-by: Surya Togaru <[email protected]>
Co-authored-by: stogaru <[email protected]>
Co-authored-by: Felipe R. Monteiro <[email protected]>
carolynzech pushed a commit to celinval/rust-dev that referenced this issue Dec 13, 2024
@stogaru @xsxszab
@MayureshJoshi25 @tautschnig @szlee118 @feliperodri
Proofs for Vec::swap_remove, Option::as_slice, and `VecDeque::swa…
955577c 
…p` (rust-lang#212)

Resolves: rust-lang#76

### Changes
* Adds proofs for the following functions using raw pointer operations:
  * `Vec::swap_remove`
  * `Option::as_slice`
  * `VecDeque::swap`
* ideally the usages should have been verified by stubbing the contracts
for reaw pointer operations like `byte_add`, `add` and `offset`, but
stubbing cannot be done for these functions at this time due to
model-checking/kani#3732
* Marks Challenge 3 as Resolved and changes its end date.
* Adds contributors.

#### PoCs:
* `Vec::swap_remove`: @MayureshJoshi25
* `Option::as_slice`, `VecDeque::swap`: @stogaru 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Yifei Wang <[email protected]>
Co-authored-by: MayureshJoshi25 <[email protected]>
Co-authored-by: Yifei Wang <[email protected]>
Co-authored-by: Michael Tautschnig <[email protected]>
Co-authored-by: szlee118 <[email protected]>
Co-authored-by: szlee118 <[email protected]>
Co-authored-by: Felipe R. Monteiro <[email protected]>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon