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

Typestate isn't working for bind #668

Closed
eholk opened this issue Jul 12, 2011 · 0 comments
Closed

Typestate isn't working for bind #668

eholk opened this issue Jul 12, 2011 · 0 comments

Comments

@eholk
Copy link
Contributor

eholk commented Jul 12, 2011

This compiles and shouldn't.

fn foo() {
    auto bar;
    fn baz(int x) { }
    bind baz(bar);
}
@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#668 - Susurrus:s390x_termios, r=alexcrichton
c43c077 
Add more termios s390x constants

These are all that remain for nix to compile on s390x.
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
@Havvy
Merge pull request rust-lang#668 from hawkinsw/oxford_commas
090c015 
Fix rust-lang#664: Review Oxford comma usage.
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 26, 2020
@bjorn3
Implement u/i128 <-> float casts
b2d6705 
Fixes rust-lang#668
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 26, 2020
@bjorn3
Fix float -> u/i128 cast
1f90b04 
The original test casts were optimized away by rustc,
so cg_clif never saw them.

cc rust-lang#668
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Fix forward fmuladd (rust-lang#668)
ca37b19
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@tedinski
Introduce rmc::proof function attribute (rust-lang#668)
f751146 
* Introduce rmc::proof function attribute

* add no_mangle as temporary measure to force function codegen
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