Skip to content

Generics test fails on dartc #2480

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 Apr 6, 2012 · 3 comments
Closed

Generics test fails on dartc #2480

DartBot opened this issue Apr 6, 2012 · 3 comments
Assignees
Labels
closed-duplicate Closed in favor of an existing report legacy-area-analyzer Use area-devexp instead.
Milestone

Comments

@DartBot
Copy link

DartBot commented Apr 6, 2012

This issue was originally filed by zundel@google.com


dartc fails co19 test Language/09_Generics/09_Generics_A04_t01

This test is complex and fails with multiple errors.

class A<T extends T,
        U extends T,
        V extends A<T, U, V>>
{ }

class B<T extends V, V> {}

interface I<T extends T,
        U extends T,
        V extends I<T, U, V>>
{ }

interface J<T extends V, V> {}
class IC implements I, J{}

typedef f<T extends T,
        U extends T,
        V extends f<T, U, V>> ();

typedef j<T extends V, V>();

dartc /home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart
file:/home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart:16: Invalid type expression, cyclic reference to type variable 'T'
    15:
    16: class A<T extends T,
file:/home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart:18: A.U is not assignable to A.T
    17: U extends T,
    18: V extends A<T, U, V>>
file:/home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart:23: Invalid type expression, cyclic reference to type variable 'T'
    22:
    23: interface I<T extends T,
file:/home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart:25: I.U is not assignable to I.T
    24: U extends T,
    25: V extends I<T, U, V>>
file:/home/zundel/dart/tests/co19/src/Language/09_Generics/09_Generics_A04_t01.dart:31: Invalid type expression, cyclic reference to type variable 'T'
    30:
    31: typedef f<T extends T,

@kasperl
Copy link

kasperl commented Apr 17, 2012

Removed Area-Compiler label.
Added Area-Analyzer label.

@danrubel
Copy link

danrubel commented Jun 4, 2012

Added this to the M1 milestone.

@scheglov
Copy link
Contributor

Set owner to @scheglov.
Added Duplicate label.
Marked as being merged into #3344.

@DartBot DartBot added Type-Defect legacy-area-analyzer Use area-devexp instead. closed-duplicate Closed in favor of an existing report labels Jun 11, 2012
@DartBot DartBot added this to the M1 milestone Jun 11, 2012
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
closed-duplicate Closed in favor of an existing report legacy-area-analyzer Use area-devexp instead.
Projects
None yet
Development

No branches or pull requests

4 participants