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

bounds check failure in trans #648

Closed
eholk opened this issue Jul 9, 2011 · 1 comment
Closed

bounds check failure in trans #648

eholk opened this issue Jul 9, 2011 · 1 comment

Comments

@eholk
Copy link
Contributor

eholk commented Jul 9, 2011

The following code causes a bounds check failure in trans. I'm not sure what it should do instead.

fn foo[T] (&T x) {
    fn bar(fn (&T) -> T f) { };
}
@catamorphism
Copy link
Contributor

Per IRC discussion, typeck should reject it, because bar is using the type variable T out of scope.

@ghost ghost assigned catamorphism Jul 12, 2011
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@bors
Auto merge of rust-lang#648 - aidanhs:aphs-no-docker-privileged, r=al…
cc4d659 
…excrichton

Remove --privileged from docker

Per rust-lang#43091

r? @alexcrichton
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
@Centril
Merge pull request rust-lang#648 from ehuss/partially-initialized-drop
b4b3536 
Update partially initialized values in drop documentation.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws @tedinski
Added a goto-instrument --drop-unused-functions step to rmc and cargo…
33bdc58 
…-rmc (rust-lang#643)

* Added a goto-instrument --drop-unused-functions step to rmc and cargo-rmc

* Added a test that checks the number of asserts

* Marked test as verify-fail till rust-lang#648 is fixed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@eholk @catamorphism