Skip to content

rustc gets confused with classes that implement polymorphic ifaces #2936

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
Closed
eholk opened this issue Jul 17, 2012 · 4 comments
Closed

rustc gets confused with classes that implement polymorphic ifaces #2936

eholk opened this issue Jul 17, 2012 · 4 comments
Labels
A-type-system Area: Type system
Milestone
0.4

Comments

@eholk
Copy link
Contributor

eholk commented Jul 17, 2012

Here's a test case, and the compile error.

https://gist.github.com/3126225
@ghost ghost assigned catamorphism Jul 17, 2012
@nikomatsakis
Copy link
Contributor

It looks like the type parameter is not being instantiated to a fresh tvar. A mite confusing.

@catamorphism
Copy link
Contributor

As I mentioned to @nikomatsakis earlier, I have a fix for this... but it breaks other test cases, so I'm still trying to figure out whether my fix was wrong or I exposed another bug.

@nikomatsakis
Copy link
Contributor

@catamorphism sorry forgot to look at that with you today. Maybe you can gist the patch?

@nikomatsakis
Copy link
Contributor

(or just push it to your local repo)

@BartMassey BartMassey mentioned this issue Jul 31, 2016
Open
RalfJung pushed a commit to RalfJung/rust that referenced this issue Jun 29, 2023
@bors
Auto merge of rust-lang#2936 - Vanille-N:unique, r=RalfJung
cec5ec4 
Optional semantics for `Unique`

Use with `-Zmiri-unique-is-unique`, makes `core::ptr::Unique` get a reborrow with its own permissions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
0.4
Development

No branches or pull requests
3 participants
@eholk @nikomatsakis @catamorphism