Skip to content

type flagged as illegal when it shouldn't be class Derived>' illegally refers to itself class Base extends Base<Derived #1222

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
DartBot opened this issue Jan 18, 2012 · 2 comments
Assignees
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-duplicate Closed in favor of an existing report

Comments

@DartBot
Copy link

DartBot commented Jan 18, 2012

This issue was originally filed by [email protected]


In discussions with Gilad over issue #211, I wrote a test which the VM complains about. The issue is:

class Base<T> {}
class Derived extends Base<Derived> {} // legal

I believe the above should be a legal definition.

$ dart tests/language/src/CyclicTypeVariableTest.dart
type 'Base<Derived>' illegally refers to itself

See discussion at:
 http://codereview.chromium.org/9186017/

@ghost
Copy link

ghost commented Jan 31, 2012

Set owner to @crelier.

@crelier
Copy link
Contributor

crelier commented Jan 31, 2012

Duplicate of issue #439.


Added Duplicate label.
Marked as being merged into #439.

@DartBot DartBot added Type-Defect area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-duplicate Closed in favor of an existing report labels Jan 31, 2012
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-duplicate Closed in favor of an existing report
Projects
None yet
Development

No branches or pull requests

2 participants