Search results

Do extension types support statically checked variance?

extension-types-laterIssues about extension types for later considerationIssues about extension types for later consideration

questionFurther information is requestedFurther information is requested

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#3624 In dart-lang/language;

· eernstg opened on Feb 22, 2024

Should declaration variance support an explicit "covariant" marker?

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#2078 In dart-lang/language;

· leafpetersen opened on Jan 27, 2022

Allow lower bounds on type parameters of functions

small-featureA small feature which is relatively cheap to implement.A small feature which is relatively cheap to implement.

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#1674 In dart-lang/language;

· eernstg opened on Jun 9, 2021

[NNBD] Type promotion fails in async functions

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#1537 In dart-lang/language;

· nex3 opened on Mar 17, 2021

Feature: Sound use-site variance

featureProposed language feature that solves one or more problemsProposed language feature that solves one or more problems

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#753 In dart-lang/language;

· eernstg opened on Dec 19, 2019

Should inference take variance into account to resolve under-constrained inference problems?

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#658 In dart-lang/language;

· leafpetersen opened on Oct 31, 2019

Define how variance and late fields in NNBD interact

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#648 In dart-lang/language;

· leafpetersen opened on Oct 28, 2019

Should use-site variance include covariance and contravariance?

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#580 In dart-lang/language;

· eernstg opened on Sep 17, 2019

Should use-site variance be allowed almost everywhere with legacy type variables?

questionFurther information is requestedFurther information is requested

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#564 In dart-lang/language;

· eernstg opened on Sep 6, 2019

Feature: Statically checked declaration-site variance

featureProposed language feature that solves one or more problemsProposed language feature that solves one or more problems

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#524 In dart-lang/language;

· eernstg opened on Aug 14, 2019

Compute a sound type for "contravariant members"

featureProposed language feature that solves one or more problemsProposed language feature that solves one or more problems

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#297 In dart-lang/language;

· eernstg opened on Apr 3, 2019

Use sound approximations for non-covariant types

requestRequests to resolve a particular developer problemRequests to resolve a particular developer problem

varianceIssues concerned with explicit varianceIssues concerned with explicit variance

Status: Open.

#296 In dart-lang/language;

· eernstg opened on Apr 3, 2019