Skip to content

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

Closed
@DartBot

Description

@DartBot

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/

Metadata

Metadata

Assignees

Labels

area-vmUse area-vm for VM related issues, including code coverage, and the AOT and JIT backends.closed-duplicateClosed in favor of an existing report

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions