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.

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

Get generic objects working in rustc #214

Closed
graydon opened this issue Jan 27, 2011 · 2 comments
Closed

Get generic objects working in rustc #214

graydon opened this issue Jan 27, 2011 · 2 comments

Comments

@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

Rustc needs to learn to capture tydescs into generic objs. Requires issue #213.

@graydon
Copy link
Contributor Author

graydon commented Feb 18, 2011

Fixed in 2b66900.

@graydon
Copy link
Contributor Author

graydon commented Feb 18, 2011

Er, rather, fixed by 8c0d350.

dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
Move associated items to their own page.
flip1995 pushed a commit to flip1995/rust that referenced this issue Aug 28, 2020
flip1995 pushed a commit to flip1995/rust that referenced this issue Aug 28, 2020
Add example of false positive to PTR_ARG docs.

Addresses rust-lang#214

changelog: Add example of false positive to `ptr_arg` docs.
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Oct 26, 2020
flip1995 pushed a commit to flip1995/rust that referenced this issue Jan 27, 2022
Check usages in `ptr_arg`

fixes rust-lang#214
fixes rust-lang#1981
fixes rust-lang#3381
fixes rust-lang#6406
fixes rust-lang#6964

This does not take into account the return type of the function currently, so `(&Vec<_>) -> &Vec<_>` functions may still be false positives.

The name given for the type also has to match the real type name, so `type Foo = Vec<u32>` won't trigger the lint, but `type Vec = Vec<u32>` will. I'm not sure if this is the best way to handle this, or if a note about the actual type should be added instead.

changelog: Check if the argument is used in a way which requires the original type in `ptr_arg`
changelog: Lint mutable references in `ptr_arg`
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
carolynzech added a commit to celinval/rust-dev that referenced this issue Dec 13, 2024
Update the `kani list` part of our workflow to:
- Be its own step of the workflow so it can run in parallel, which is
nice because it finishes much faster than the other jobs in the Kani
workflow
- Use the new markdown format. This makes the list much more readable
(compare [current
format](https://github.com/model-checking/verify-rust-std/actions/runs/12199714877/attempts/2#summary-34034201022)
to [markdown
format](https://github.com/carolynzech/verify-rust-std/actions/runs/12203155221/attempts/1#summary-34045490103)).

Also remove the Test Kani workflow step, because it's expensive and
duplicates verification work.
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant