Skip to content
This repository was archived by the owner on Feb 22, 2018. It is now read-only.
This repository was archived by the owner on Feb 22, 2018. It is now read-only.

task model: F bounded quantification bug #357

Closed
@vsmenon

Description

@vsmenon

From f_bounded_quantification2_test.dart:

class Entities<T extends ConceptEntity<T>> implements EntitiesApi<T> { }

class ConceptEntity<T extends ConceptEntity<T>> implements EntityApi { }

abstract class EntityApi<T extends EntityApi<T>> { }

abstract class EntitiesApi<T extends EntityApi<T>> { }

class Concept extends ConceptEntity<Concept> { }

main() {
  new ConceptEntity<Concept>();
  new ConceptEntity<ConceptEntity>();
}

is triggering the following errors - newly in the task model strong mode:

severe: [AnalyzerMessage] 'T' does not extend 'EntityApi<T>' (test/codegen/language/f_bounded_quantification2_test.dart, line 7, col 67)
severe: [AnalyzerMessage] 'ConceptEntity' does not extend 'ConceptEntity<ConceptEntity>' (test/codegen/language/f_bounded_quantification2_test.dart, line 19, col 21)

This particular test isn't strictly blocking - we don't support this pattern yet in codegen, but it is a regression.

Activity

vsmenon

vsmenon commented on Nov 11, 2015

@vsmenon
ContributorAuthor

We're now supporting codegen for this, but those errors are still there.

jmesserly

jmesserly commented on Jan 19, 2016

@jmesserly
Contributor
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @jmesserly@vsmenon

        Issue actions

          task model: F bounded quantification bug · Issue #357 · dart-archive/dev_compiler