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

add kind system and kind-checking pass to rustc #234

Closed
graydon opened this issue Feb 23, 2011 · 3 comments
Closed

add kind system and kind-checking pass to rustc #234

graydon opened this issue Feb 23, 2011 · 3 comments

Comments

@graydon
Copy link
Contributor

graydon commented Feb 23, 2011

rustc has no kind system, now kind-checking pass. add one.

@ghost ghost assigned graydon Jun 21, 2011
@graydon
Copy link
Contributor Author

graydon commented Jul 28, 2011

Initial cuts landed in commit 63f74f3, a11bb40, 3e63fdc, etc. Still wip.

@ghost ghost assigned brson Sep 27, 2011
@pcwalton
Copy link
Contributor

Going to mark this as no longer a 0.1 blocker now that we have the basics in. Please feel free to re-mark if necessary.

@marijnh
Copy link
Contributor

marijnh commented Nov 15, 2011

Moving this over to #1177.

@marijnh marijnh closed this as completed Nov 15, 2011
oli-obk added a commit to oli-obk/rust that referenced this issue Jul 19, 2017
Make Reallocate & Deallocate less permissive
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
Clarify which types range patterns work on
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
flip1995 pushed a commit to flip1995/rust that referenced this issue Jun 30, 2022
Add lint `explicit_auto_deref` take 2

fixes: rust-lang#234
fixes: rust-lang#8367
fixes: rust-lang#8380

Still things to do:

* ~~This currently only lints `&*<expr>` when it doesn't trigger `needless_borrow`.~~
* ~~This requires a borrow after a deref to trigger. So `*<expr>` changing `&&T` to `&T` won't be caught.~~
* The `deref` and `deref_mut` trait methods aren't linted.
* Neither ~~field accesses~~, nor method receivers are linted.
* ~~This probably shouldn't lint reborrowing.~~
* Full slicing to deref should probably be handled here as well. e.g. `&vec[..]` when just `&vec` would do

changelog: new lint `explicit_auto_deref`
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
* Implement fast block lookup and phi recomputation

* Attempt debug ci

* Fix cache lookup

* try debug build

* Fix pending unwrap bug
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this issue Mar 7, 2023
…rustc-patch

Remove not applicable rustc patch
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

4 participants