Skip to content

Superkinds #8562

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

Closed
wants to merge 10 commits into from
Closed

Superkinds #8562

wants to merge 10 commits into from

Conversation

bblum
Copy link
Contributor

@bblum bblum commented Aug 16, 2013

For #7083.

The metadata issue with the old version is now fixed. Ready for review.

This is also not the full solution to #7083, because this is not supported yet:

trait Foo : Send { }

impl <T: Send> Foo for T { }

fn foo<T: Foo>(val: T, chan: std::comm::Chan<T>) {
    chan.send(val);
}

cc @nikomatsakis

@catamorphism
Copy link
Contributor

Do you mind making the runtime commit a separate pull request? Thanks...

@bblum
Copy link
Contributor Author

bblum commented Aug 16, 2013

alright, sure

@bblum
Copy link
Contributor Author

bblum commented Aug 16, 2013

it is done

@nikomatsakis
Copy link
Contributor

/me reads

@nikomatsakis
Copy link
Contributor

r+ but bitrotted. However, I think you are missing one case, which is default methods. You'll need to adjust the ty_self case.

@nikomatsakis
Copy link
Contributor

Looks good!

bors added a commit that referenced this pull request Aug 21, 2013
For #7083.

The metadata issue with the old version is now fixed. Ready for review.

This is also not the full solution to #7083, because this is not supported yet:
```
trait Foo : Send { }

impl <T: Send> Foo for T { }

fn foo<T: Foo>(val: T, chan: std::comm::Chan<T>) {
    chan.send(val);
}
```

cc @nikomatsakis
@bblum
Copy link
Contributor Author

bblum commented Aug 22, 2013

sheesh check-fast is my bane today

bors added a commit that referenced this pull request Aug 22, 2013
For #7083.

The metadata issue with the old version is now fixed. Ready for review.

This is also not the full solution to #7083, because this is not supported yet:
```
trait Foo : Send { }

impl <T: Send> Foo for T { }

fn foo<T: Foo>(val: T, chan: std::comm::Chan<T>) {
    chan.send(val);
}
```

cc @nikomatsakis
@bors bors closed this Aug 22, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Mar 24, 2022
…nishearth

Add lint `cast_enum_constructor`

fixes: rust-lang#1116

changelog: Add lint `cast_enum_constructor`
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

Successfully merging this pull request may close these issues.

4 participants