title: Diagnostics description: Details for diagnostics produced by the Dart analyzer.

{%- comment %} WARNING: Do NOT EDIT this file directly. It is autogenerated by the script in pkg/analyzer/tool/diagnostics/generate.dart in the sdk repository. {% endcomment -%}

This page lists diagnostic messages produced by the Dart analyzer, with details about what those messages mean and how you can fix your code. For more information about the analyzer, see Customizing static analysis.

Glossary

This page uses the following terms.

Constant context

A constant context is a region of code in which it isn‘t necessary to include the const keyword because it’s implied by the fact that everything in that region is required to be a constant. The following locations are constant contexts:

  • Everything inside a list, map or set literal that's prefixed by the const keyword. Example:

    var l = const [/*constant context*/];
    
  • The arguments inside an invocation of a constant constructor. Example:

    var p = const Point(/*constant context*/);
    
  • The initializer for a variable that's prefixed by the const keyword. Example:

    const v = /*constant context*/;
    
  • Annotations

  • The expression in a case clause. Example:

    void f(int e) {
      switch (e) {
        case /*constant context*/:
          break;
      }
    }
    

Diagnostics

The analyzer produces the following diagnostics for code that doesn't conform to the language specification or that might work in unexpected ways.

abstract_super_member_reference

The {0} ‘{1}’ is always abstract in the supertype.

Description

The analyzer produces this diagnostic when an inherited member is referenced using super, but there is no concrete implementation of the member in the superclass chain. Abstract members can't be invoked.

Example

The following code produces this diagnostic:

{% prettify dart %} abstract class A { int get a; } class B extends A { int get a => super.[!a!]; } {% endprettify %}

Common fixes

Remove the invocation of the abstract member, possibly replacing it with an invocation of a concrete member.

ambiguous_extension_member_access

A member named ‘{0}’ is defined in extensions ‘{1}’ and ‘{2}’ and neither is more specific.

Description

When code refers to a member of an object (for example, o.m() or o.m or o[i]) where the static type of o doesn‘t declare the member (m or [], for example), then the analyzer tries to find the member in an extension. For example, if the member is m, then the analyzer looks for extensions that declare a member named m and have an extended type that the static type of o can be assigned to. When there’s more than one such extension in scope, the extension whose extended type is most specific is selected.

The analyzer produces this diagnostic when none of the extensions has an extended type that's more specific than the extended types of all of the other extensions, making the reference to the member ambiguous.

Example

The following code produces this diagnostic because there's no way to choose between the member in E1 and the member in E2:

{% prettify dart %} extension E1 on String { int get charCount => 1; }

extension E2 on String { int get charCount => 2; }

void f(String s) { print(s.[!charCount!]); } {% endprettify %}

Common fixes

If you don't need both extensions, then you can delete or hide one of them.

If you need both, then explicitly select the one you want to use by using an extension override:

{% prettify dart %} extension E1 on String { int get charCount => length; }

extension E2 on String { int get charCount => length; }

void f(String s) { print(E2(s).charCount); } {% endprettify %}

ambiguous_set_or_map_literal_both

This literal contains both ‘Map’ and ‘Iterable’ spreads, which makes it impossible to determine whether the literal is a map or a set.

Description

Because map and set literals use the same delimiters ({ and }), the analyzer looks at the type arguments and the elements to determine which kind of literal you meant. When there are no type arguments and all of the elements are spread elements (which are allowed in both kinds of literals), then the analyzer uses the types of the expressions that are being spread. If all of the expressions have the type Iterable, then it‘s a set literal; if they all have the type Map, then it’s a map literal.

The analyzer produces this diagnostic when some of the expressions being spread have the type Iterable and others have the type Map, making it impossible for the analyzer to determine whether you are writing a map literal or a set literal.

Example

The following code produces this diagnostic:

{% prettify dart %} union(Map<String, String> a, List b, Map<String, String> c) => [!{...a, ...b, ...c}!]; {% endprettify %}

The list b can only be spread into a set, and the maps a and c can only be spread into a map, and the literal can't be both.

Common fixes

There are two common ways to fix this problem. The first is to remove all of the spread elements of one kind or another, so that the elements are consistent. In this case, that likely means removing the list and deciding what to do about the now unused parameter:

{% prettify dart %} union(Map<String, String> a, List b, Map<String, String> c) => {...a, ...c}; {% endprettify %}

The second fix is to change the elements of one kind into elements that are consistent with the other elements. For example, you can add the elements of the list as keys that map to themselves:

{% prettify dart %} union(Map<String, String> a, List b, Map<String, String> c) => {...a, for (String s in b) s: s, ...c}; {% endprettify %}

ambiguous_set_or_map_literal_either

This literal must be either a map or a set, but the elements don't have enough information for type inference to work.

Description

Because map and set literals use the same delimiters ({ and }), the analyzer looks at the type arguments and the elements to determine which kind of literal you meant. When there are no type arguments and all of the elements are spread elements (which are allowed in both kinds of literals) then the analyzer uses the types of the expressions that are being spread. If all of the expressions have the type Iterable, then it‘s a set literal; if they all have the type Map, then it’s a map literal.

This diagnostic is produced when none of the expressions being spread have a type that allows the analyzer to decide whether you were writing a map literal or a set literal.

Example

The following code produces this diagnostic:

{% prettify dart %} union(a, b) => [!{...a, ...b}!]; {% endprettify %}

The problem occurs because there are no type arguments, and there is no information about the type of either a or b.

Common fixes

There are three common ways to fix this problem. The first is to add type arguments to the literal. For example, if the literal is intended to be a map literal, you might write something like this:

{% prettify dart %} union(a, b) => <String, String>{...a, ...b}; {% endprettify %}

The second fix is to add type information so that the expressions have either the type Iterable or the type Map. You can add an explicit cast or, in this case, add types to the declarations of the two parameters:

{% prettify dart %} union(List a, List b) => {...a, ...b}; {% endprettify %}

The third fix is to add context information. In this case, that means adding a return type to the function:

{% prettify dart %} Set union(a, b) => {...a, ...b}; {% endprettify %}

In other cases, you might add a type somewhere else. For example, say the original code looks like this:

{% prettify dart %} union(a, b) { var x = [!{...a, ...b}!]; return x; } {% endprettify %}

You might add a type annotation on x, like this:

{% prettify dart %} union(a, b) { Map<String, String> x = {...a, ...b}; return x; } {% endprettify %}

argument_type_not_assignable

The argument type ‘{0}’ can't be assigned to the parameter type ‘{1}’.

Description

The analyzer produces this diagnostic when the static type of an argument can't be assigned to the static type of the corresponding parameter.

Example

The following code produces this diagnostic:

{% prettify dart %} String f(String x) => x; String g(num y) => f([!y!]); {% endprettify %}

Common fixes

If possible, rewrite the code so that the static type is assignable. In the example above you might be able to change the type of the parameter y:

{% prettify dart %} String f(String x) => x; String g(String y) => f(y); {% endprettify %}

If that fix isn‘t possible, then add code to handle the case where the argument value isn’t the required type. One approach is to coerce other types to the required type:

{% prettify dart %} String f(String x) => x; String g(num y) => f(y.toString()); {% endprettify %}

Another approach is to add explicit type tests and fallback code:

{% prettify dart %} String f(String x) => x; String g(num y) => f(y is String ? y : ''); {% endprettify %}

If you believe that the runtime type of the argument will always be the same as the static type of the parameter, and you‘re willing to risk having an exception thrown at runtime if you’re wrong, then add an explicit cast:

{% prettify dart %} String f(String x) => x; String g(num y) => f(y as String); {% endprettify %}

built_in_identifier_as_extension_name

The built-in identifier ‘{0}’ can't be used as an extension name.

Description

The analyzer produces this diagnostic when the name of an extension is a built-in identifier. Built-in identifiers can’t be used as extension names.

Example

The following code produces this diagnostic:

{% prettify dart %} extension [!mixin!] on int {} {% endprettify %}

Common fixes

Choose a different name for the extension.

cast_to_non_type

The name ‘{0}’ isn‘t a type, so it can’t be used in an ‘as’ expression.

Description

The analyzer produces this diagnostic when the name following the as in a cast expression is defined to be something other than a type.

Example

The following code produces this diagnostic:

{% prettify dart %} num x = 0; int y = x as [!x!]; {% endprettify %}

Common fixes

Replace the name with the name of a type:

{% prettify dart %} num x = 0; int y = x as int; {% endprettify %}

const_initialized_with_non_constant_value

Const variables must be initialized with a constant value.

Description

The analyzer produces this diagnostic when a value that isn‘t statically known to be a constant is assigned to a variable that’s declared to be a ‘const’ variable.

Example

The following code produces this diagnostic because x isn't declared to be const:

{% prettify dart %} var x = 0; const y = [!x!]; {% endprettify %}

Common fixes

If the value being assigned can be declared to be const, then change the declaration:

{% prettify dart %} const x = 0; const y = x; {% endprettify %}

If the value can't be declared to be const, then remove the const modifier from the variable, possibly using final in its place:

{% prettify dart %} var x = 0; final y = x; {% endprettify %}

const_spread_expected_list_or_set

A list or a set is expected in this spread.

Description

The analyzer produces this diagnostic when the expression of a spread operator in a constant list or set evaluates to something other than a list or a set.

Example

The following code produces this diagnostic:

{% prettify dart %} const List list1 = null; const List list2 = [...[!list1!]]; {% endprettify %}

Common fixes

Change the expression to something that evaluates to either a constant list or a constant set:

{% prettify dart %} const List list1 = []; const List list2 = [...list1]; {% endprettify %}

const_spread_expected_map

A map is expected in this spread.

Description

The analyzer produces this diagnostic when the expression of a spread operator in a constant map evaluates to something other than a map.

Example

The following code produces this diagnostic:

{% prettify dart %} const Map<String, int> map1 = null; const Map<String, int> map2 = {...[!map1!]}; {% endprettify %}

Common fixes

Change the expression to something that evaluates to a constant map:

{% prettify dart %} const Map<String, int> map1 = {}; const Map<String, int> map2 = {...map1}; {% endprettify %}

const_with_non_constant_argument

Arguments of a constant creation must be constant expressions.

Description

The analyzer produces this diagnostic when a const constructor is invoked with an argument that isn't a constant expression.

Example

The following code produces this diagnostic:

{% prettify dart %} class C { final int i; const C(this.i); } C f(int i) => const C([!i!]); {% endprettify %}

Common fixes

Either make all of the arguments constant expressions, or remove the const keyword to use the non-constant form of the constructor:

{% prettify dart %} class C { final int i; const C(this.i); } C f(int i) => C(i); {% endprettify %}

deprecated_member_use

‘{0}’ is deprecated and shouldn't be used.

‘{0}’ is deprecated and shouldn't be used. {1}.

Description

The analyzer produces this diagnostic when a deprecated library or class member is used in a different package.

Example

If the method m in the class C is annotated with @deprecated, then the following code produces this diagnostic:

{% prettify dart %} void f(C c) { c.!m!; } {% endprettify %}

Common fixes

The documentation for declarations that are annotated with @deprecated should indicate what code to use in place of the deprecated code.

deprecated_member_use_from_same_package

‘{0}’ is deprecated and shouldn't be used.

‘{0}’ is deprecated and shouldn't be used. {1}.

Description

The analyzer produces this diagnostic when a deprecated library member or class member is used in the same package in which it's declared.

Example

The following code produces this diagnostic:

{% prettify dart %} @deprecated var x = 0; var y = [!x!]; {% endprettify %}

Common fixes

The fix depends on what's been deprecated and what the replacement is. The documentation for deprecated declarations should indicate what code to use in place of the deprecated code.

duplicate_definition

The name ‘{0}’ is already defined.

Description

The analyzer produces this diagnostic when a name is declared, and there is a previous declaration with the same name in the same scope.

Example

The following code produces this diagnostic:

{% prettify dart %} int x = 0; int [!x!] = 1; {% endprettify %}

Common fixes

Choose a different name for one of the declarations.

{% prettify dart %} int x = 0; int y = 1; {% endprettify %}

equal_elements_in_const_set

Two values in a constant set can't be equal.

Description

The analyzer produces this diagnostic when two elements in a constant set literal have the same value. The set can only contain each value once, which means that one of the values is unnecessary.

Example

The following code produces this diagnostic:

{% prettify dart %} const Set set = {‘a’, [!‘a’!]}; {% endprettify %}

Common fixes

Remove one of the duplicate values:

{% prettify dart %} const Set set = {‘a’}; {% endprettify %}

Note that literal sets preserve the order of their elements, so the choice of which element to remove might affect the order in which elements are returned by an iterator.

equal_keys_in_const_map

Two keys in a constant map literal can't be equal.

Description

The analyzer produces this diagnostic when a key in a constant map is the same as a previous key in the same map. If two keys are the same, then the second value would overwrite the first value, which makes having both pairs pointless.

Example

The following code produces this diagnostic:

{% prettify dart %} const map = <int, String>{1: ‘a’, 2: ‘b’, [!1!]: ‘c’, 4: ‘d’}; {% endprettify %}

Common fixes

If both entries should be included in the map, then change one of the keys to be different:

{% prettify dart %} const map = <int, String>{1: ‘a’, 2: ‘b’, 3: ‘c’, 4: ‘d’}; {% endprettify %}

If only one of the entries is needed, then remove the one that isn't needed:

{% prettify dart %} const map = <int, String>{1: ‘a’, 2: ‘b’, 4: ‘d’}; {% endprettify %}

Note that literal maps preserve the order of their entries, so the choice of which entry to remove might affect the order in which keys and values are returned by an iterator.

expression_in_map

Expressions can't be used in a map literal.

Description

The analyzer produces this diagnostic when the analyzer finds an expression, rather than a map entry, in what appears to be a map literal.

Example

The following code generates this diagnostic:

{% prettify dart %} var map = <String, int>{‘a’: 0, ‘b’: 1, [!‘c’!]}; {% endprettify %}

Common fixes

If the expression is intended to compute either a key or a value in an entry, fix the issue by replacing the expression with the key or the value. For example:

{% prettify dart %} var map = <String, int>{‘a’: 0, ‘b’: 1, ‘c’: 2}; {% endprettify %}

extension_as_expression

Extension ‘{0}’ can't be used as an expression.

Description

The analyzer produces this diagnostic when the name of an extension is used in an expression other than in an extension override or to qualify an access to a static member of the extension.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on int { static String m() => ''; }

var x = [!E!]; {% endprettify %}

Common fixes

Replace the name of the extension with a name that can be referenced, such as a static member defined on the extension:

{% prettify dart %} extension E on int { static String m() => ''; }

var x = E.m(); {% endprettify %}

extension_conflicting_static_and_instance

Extension ‘{0}’ can't define static member ‘{1}’ and an instance member with the same name.

Description

The analyzer produces this diagnostic when an extension declaration contains both an instance member and a static member that have the same name. The instance member and the static member can‘t have the same name because it’s unclear which member is being referenced by an unqualified use of the name within the body of the extension.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on Object { int get a => 0; static int !a! => 0; } {% endprettify %}

Common fixes

Rename or remove one of the members:

{% prettify dart %} extension E on Object { int get a => 0; static int b() => 0; } {% endprettify %}

extension_declares_abstract_member

Extensions can't declare abstract members.

Description

The analyzer produces this diagnostic when an abstract declaration is declared in an extension. Extensions can declare only concrete members.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { int !a!; } {% endprettify %}

Common fixes

Either provide an implementation for the member or remove it.

extension_declares_constructor

Extensions can't declare constructors.

Description

The analyzer produces this diagnostic when a constructor declaration is found in an extension. It isn‘t valid to define a constructor because extensions aren’t classes, and it isn't possible to create an instance of an extension.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { !E! : super(); } {% endprettify %}

Common fixes

Remove the constructor or replace it with a static method.

extension_declares_instance_field

Extensions can't declare instance fields

Description

The analyzer produces this diagnostic when an instance field declaration is found in an extension. It isn't valid to define an instance field because extensions can only add behavior, not state.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { String [!s!]; } {% endprettify %}

Common fixes

Remove the field, make it a static field, or convert it to be a getter, setter, or method.

extension_declares_member_of_object

Extensions can't declare members with the same name as a member declared by ‘Object’.

Description

The analyzer produces this diagnostic when an extension declaration declares a member with the same name as a member declared in the class Object. Such a member can never be used because the member in Object is always found first.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { String !toString! => this; } {% endprettify %}

Common fixes

Remove the member or rename it so that the name doesn't conflict with the member in Object:

{% prettify dart %} extension E on String { String displayString() => this; } {% endprettify %}

extension_override_access_to_static_member

An extension override can't be used to access a static member from an extension.

Description

The analyzer produces this diagnostic when an extension override is the target of the invocation of a static member. Similar to static members in classes, the static members of an extension should be accessed using the name of the extension, not an extension override.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { static void staticMethod() {} }

void f() { E('').!staticMethod!; } {% endprettify %}

Common fixes

Replace the extension override with the name of the extension:

{% prettify dart %} extension E on String { static void staticMethod() {} }

void f() { E.staticMethod(); } {% endprettify %}

extension_override_argument_not_assignable

The type of the argument to the extension override ‘{0}’ isn't assignable to the extended type ‘{1}’.

Description

The analyzer produces this diagnostic when the argument to an extension override isn't assignable to the type being extended by the extension.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { void method() {} }

void f() { E([!3!]).method(); } {% endprettify %}

Common fixes

If you're using the correct extension, then update the argument to have the correct type:

{% prettify dart %} extension E on String { void method() {} }

void f() { E(3.toString()).method(); } {% endprettify %}

If there‘s a different extension that’s valid for the type of the argument, then either replace the name of the extension or unwrap the target so that the correct extension is found.

extension_override_without_access

An extension override can only be used to access instance members.

Description

The analyzer produces this diagnostic when an extension override is found that isn‘t being used to access one of the members of the extension. The extension override syntax doesn’t have any runtime semantics; it only controls which member is selected at compile time.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on int { int get a => 0; }

void f(int i) { print([!E(i)!]); } {% endprettify %}

Common fixes

If you want to invoke one of the members of the extension, then add the invocation:

{% prettify dart %} extension E on int { int get a => 0; }

void f(int i) { print(E(i).a); } {% endprettify %}

If you don't want to invoke a member, then unwrap the target:

{% prettify dart %} extension E on int { int get a => 0; }

void f(int i) { print(i); } {% endprettify %}

extension_override_with_cascade

Extension overrides have no value so they can't be used as the target of a cascade expression.

Description

The analyzer produces this diagnostic when an extension override is used as the target of a cascade expression.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on int { void m() {} } f() { E(3)[!..!]m(); } {% endprettify %}

Common fixes

Use ‘.’ rather than ‘..’:

{% prettify dart %} extension E on int { void m() {} } f() { E(3).m(); } {% endprettify %}

If there are multiple cascaded accesses, you'll need to duplicate the extension override for each one.

extra_positional_arguments

Too many positional arguments: {0} expected, but {1} found.

Description

The analyzer produces this diagnostic when a method or function invocation has more positional arguments than the method or function allows.

Example

The following code produces this diagnostic:

{% prettify dart %} void f(int a, int b) {} void g() { f[!(1, 2, 3)!]; } {% endprettify %}

Common fixes

Remove the arguments that don't correspond to parameters:

{% prettify dart %} void f(int a, int b) {} void g() { f(1, 2); } {% endprettify %}

extra_positional_arguments_could_be_named

Too many positional arguments: {0} expected, but {1} found.

Description

The analyzer produces this diagnostic when a method or function invocation has more positional arguments than the method or function allows, but the method or function defines named parameters.

Example

The following code produces this diagnostic:

{% prettify dart %} void f(int a, int b, {int c}) {} void g() { f[!(1, 2, 3)!]; } {% endprettify %}

Common fixes

If some of the arguments should be values for named parameters, then add the names before the arguments:

{% prettify dart %} void f(int a, int b, {int c}) {} void g() { f(1, 2, c: 3); } {% endprettify %}

Otherwise, remove the arguments that don't correspond to positional parameters:

{% prettify dart %} void f(int a, int b, {int c}) {} void g() { f(1, 2); } {% endprettify %}

final_not_initialized

The final variable ‘{0}’ must be initialized.

Description

The analyzer produces this diagnostic when a final field or variable isn't initialized.

Example

The following code produces this diagnostic:

{% prettify dart %} final [!x!]; {% endprettify %}

Common fixes

For variables and static fields, you can add an initializer:

{% prettify dart %} final x = 0; {% endprettify %}

For instance fields, you can add an initializer as shown in the previous example, or you can initialize the field in every constructor. You can initialize the field by using a field formal parameter:

{% prettify dart %} class C { final int x; C(this.x); } {% endprettify %}

You can also initialize the field by using an initializer in the constructor:

{% prettify dart %} class C { final int x; C(int y) : x = y * 2; } {% endprettify %}

implements_non_class

Classes and mixins can only implement other classes and mixins.

Description

The analyzer produces this diagnostic when a name used in the implements clause of a class or mixin declaration is defined to be something other than a class or mixin.

Example

The following code produces this diagnostic:

{% prettify dart %} var x; class C implements [!x!] {} {% endprettify %}

Common fixes

If the name is the name of an existing class or mixin that‘s already being imported, then add a prefix to the import so that the local definition of the name doesn’t shadow the imported name.

If the name is the name of an existing class or mixin that isn't being imported, then add an import, with a prefix, for the library in which it’s declared.

Otherwise, either replace the name in the implements clause with the name of an existing class or mixin, or remove the name from the implements clause.

invalid_assignment

A value of type ‘{0}’ can't be assigned to a variable of type ‘{1}’.

Description

The analyzer produces this diagnostic when the static type of an expression that is assigned to a variable isn't assignable to the type of the variable.

Example

The following code produces this diagnostic because the type of the initializer (int) isn't assignable to the type of the variable (String):

{% prettify dart %} int i = 0; String s = [!i!]; {% endprettify %}

Common fixes

If the value being assigned is always assignable at runtime, even though the static types don't reflect that, then add an explicit cast.

Otherwise, change the value being assigned so that it has the expected type. In the previous example, this might look like:

{% prettify dart %} int i = 0; String s = i.toString(); {% endprettify %}

If you can’t change the value, then change the type of the variable to be compatible with the type of the value being assigned:

{% prettify dart %} int i = 0; int s = i; {% endprettify %}

invalid_extension_argument_count

Extension overrides must have exactly one argument: the value of ‘this’ in the extension method.

Description

The analyzer produces this diagnostic when an extension override doesn't have exactly one argument. The argument is the expression used to compute the value of this within the extension method, so there must be one argument.

Example

The following code produces this diagnostic because there are no arguments:

{% prettify dart %} extension E on String { String join(String other) => ‘$this $other’; }

void f() { E[!()!].join(‘b’); } {% endprettify %}

And, the following code produces this diagnostic because there's more than one argument:

{% prettify dart %} extension E on String { String join(String other) => ‘$this $other’; }

void f() { E[!(‘a’, ‘b’)!].join(‘c’); } {% endprettify %}

Common fixes

Provide one argument for the extension override:

{% prettify dart %} extension E on String { String join(String other) => ‘$this $other’; }

void f() { E(‘a’).join(‘b’); } {% endprettify %}

invalid_literal_annotation

Only const constructors can have the @literal annotation.

Description

The meaning of the @literal annotation is only defined when it's applied to a const constructor.

Example

The following code produces this diagnostic:

{% prettify dart %} import ‘package:meta/meta.dart’;

[!@literal!] var x; {% endprettify %}

Common fixes

Remove the annotation:

{% prettify dart %} var x; {% endprettify %}

invalid_use_of_covariant_in_extension

Can't have modifier ‘#lexeme’ in an extension.

Description

The analyzer produces this diagnostic when a member declared inside an extension uses the keyword covariant in the declaration of a parameter. Extensions aren‘t classes and don’t have subclasses, so the keyword serves no purpose.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on String { void a([!covariant!] int i) {} } {% endprettify %}

Common fixes

Remove the ‘covariant’ keyword:

{% prettify dart %} extension E on String { void a(int i) {} } {% endprettify %}

invocation_of_non_function

‘{0}’ isn't a function.

Description

The analyzer produces this diagnostic when it finds a function invocation, but the name of the function being invoked is defined to be something other than a function.

Example

The following code produces this diagnostic:

{% prettify dart %} typedef Binary = int Function(int, int);

int f() { return [!Binary!](1, 2); } {% endprettify %}

Common fixes

Replace the name with the name of a function.

map_entry_not_in_map

Map entries can only be used in a map literal.

Description

The analyzer produces this diagnostic when a map entry (a key/value pair) is found in a set literal.

Example

The following code produces this diagnostic:

{% prettify dart %} const collection = {[!‘a’ : ‘b’!]}; {% endprettify %}

Common fixes

If you intended for the collection to be a map, then change the code so that it is a map. In the previous example, you could do this by adding another type argument:

{% prettify dart %} const collection = <String, String>{‘a’ : ‘b’}; {% endprettify %}

In other cases, you might need to change the explicit type from Set to Map.

If you intended for the collection to be a set, then remove the map entry, possibly by replacing the colon with a comma if both values should be included in the set:

{% prettify dart %} const collection = {‘a’, ‘b’}; {% endprettify %}

missing_return

This function has a return type of ‘{0}’, but doesn't end with a return statement.

Description

Any function or method that doesn't end with either an explicit return or a throw implicitly returns null. This is rarely the desired behavior. The analyzer produces this diagnostic when it finds an implicit return.

Example

The following code produces this diagnostic:

{% prettify dart %} int [!f!](int x) { if (x < 0) { return 0; } } {% endprettify %}

Common fixes

Add a return statement that makes the return value explicit, even if null is the appropriate value.

non_constant_case_expression

Case expressions must be constant.

Description

The analyzer produces this diagnostic when the expression in a case clause isn't a constant expression.

Example

The following code produces this diagnostic:

{% prettify dart %} void f(int i, int j) { switch (i) { case [!j!]: // ... break; } } {% endprettify %}

Common fixes

Either make the expression a constant expression, or rewrite the switch statement as a sequence of if statements:

{% prettify dart %} void f(int i, int j) { if (i == j) { // ... } } {% endprettify %}

non_constant_list_element

The values in a const list literal must be constants.

Description

The analyzer produces this diagnostic when an element in a constant list literal isn‘t a constant value. The list literal can be constant either explicitly (because it’s prefixed by the const keyword) or implicitly (because it appears in a constant context).

Example

The following code produces this diagnostic because x isn't a constant, even though it appears in an implicitly constant list literal:

{% prettify dart %} var x = 2; var y = const [0, 1, [!x!]]; {% endprettify %}

Common fixes

If the list needs to be a constant list, then convert the element to be a constant. In the example above, you might add the const keyword to the declaration of x:

{% prettify dart %} const x = 2; var y = const [0, 1, x]; {% endprettify %}

If the expression can‘t be made a constant, then the list can’t be a constant either, so you must change the code so that the list isn't a constant. In the example above this means removing the const keyword before the list literal:

{% prettify dart %} var x = 2; var y = [0, 1, x]; {% endprettify %}

non_constant_map_element

The elements in a const map literal must be constant.

Description

The analyzer produces this diagnostic when an if element or a spread element in a constant map isn't a constant element.

Example

The following code produces this diagnostic because it is attempting to spread a non-constant map:

{% prettify dart %} var notConst = <int, int>{}; var map = const <int, int>{...[!notConst!]}; {% endprettify %}

Similarly, the following code produces this diagnostic because the condition in the if element isn't a constant expression:

{% prettify dart %} bool notConst = true; var map = const <int, int>{if ([!notConst!]) 1 : 2}; {% endprettify %}

Common fixes

If the map needs to be a constant map, then make the elements constants. In the spread example, you might do that by making the collection being spread a constant:

{% prettify dart %} const notConst = <int, int>{}; var map = const <int, int>{...notConst}; {% endprettify %}

If the map doesn't need to be a constant map, then remove the const keyword:

{% prettify dart %} bool notConst = true; var map = <int, int>{if (notConst) 1 : 2}; {% endprettify %}

non_constant_map_key

The keys in a const map literal must be constant.

Description

The analyzer produces this diagnostic when a key in a constant map literal isn't a constant value.

Example

The following code produces this diagnostic:

{% prettify dart %} var a = ‘a’; var m = const {[!a!]: 0}; {% endprettify %}

Common fixes

If the map needs to be a constant map, then make the key a constant:

{% prettify dart %} const a = ‘a’; var m = const {a: 0}; {% endprettify %}

If the map doesn't need to be a constant map, then remove the const keyword:

{% prettify dart %} var a = ‘a’; var m = {a: 0}; {% endprettify %}

non_constant_map_value

The values in a const map literal must be constant.

Description

The analyzer produces this diagnostic when a value in a constant map literal isn't a constant value.

Example

The following code produces this diagnostic:

{% prettify dart %} var a = ‘a’; var m = const {0: [!a!]}; {% endprettify %}

Common fixes

If the map needs to be a constant map, then make the key a constant:

{% prettify dart %} const a = ‘a’; var m = const {0: a}; {% endprettify %}

If the map doesn't need to be a constant map, then remove the const keyword:

{% prettify dart %} var a = ‘a’; var m = {0: a}; {% endprettify %}

non_type_as_type_argument

The name ‘{0}’ isn‘t a type so it can’t be used as a type argument.

Description

The analyzer produces this diagnostic when an identifier that isn't a type is used as a type argument.

Example

The following code produces this diagnostic because x is a variable, not a type:

{% prettify dart %} var x = 0; List<[!x!]> xList = []; {% endprettify %}

Common fixes

Change the type argument to be a type:

{% prettify dart %} var x = 0; List xList = []; {% endprettify %}

not_a_type

{0} isn't a type.

Description

The analyzer produces this diagnostic when a name is used as a type but declared to be something other than a type.

Example

The following code produces this diagnostic because f is a function:

{% prettify dart %} f() {} g([!f!] v) {} {% endprettify %}

Common fixes

Replace the name with the name of a type.

not_enough_positional_arguments

{0} positional argument(s) expected, but {1} found.

Description

The analyzer produces this diagnostic when a method or function invocation has fewer positional arguments than the number of required positional parameters.

Example

The following code produces this diagnostic:

{% prettify dart %} void f(int a, int b) {} void g() { f[!(0)!]; } {% endprettify %}

Common fixes

Add arguments corresponding to the remaining parameters:

{% prettify dart %} void f(int a, int b) {} void g() { f(0, 1); } {% endprettify %}

not_iterable_spread

Spread elements in list or set literals must implement ‘Iterable’.

Description

The analyzer produces this diagnostic when the static type of the expression of a spread element that appears in either a list literal or a set literal doesn't implement the type Iterable.

Example

The following code generates this diagnostic:

{% prettify dart %} var m = <String, int>{‘a’: 0, ‘b’: 1}; var s = {...[!m!]}; {% endprettify %}

Common fixes

The most common fix is to replace the expression with one that produces an iterable object:

{% prettify dart %} var m = <String, int>{‘a’: 0, ‘b’: 1}; var s = {...m.keys}; {% endprettify %}

not_map_spread

Spread elements in map literals must implement ‘Map’.

Description

The analyzer produces this diagnostic when the static type of the expression of a spread element that appears in a map literal doesn't implement the type Map.

Example

The following code produces this diagnostic:

{% prettify dart %} var l = [‘a’, ‘b’]; var m = <int, String>{...[!l!]}; {% endprettify %}

Common fixes

The most common fix is to replace the expression with one that produces a map:

{% prettify dart %} var l = [‘a’, ‘b’]; var m = <int, String>{...l.asMap()}; {% endprettify %}

redirect_to_non_class

The name ‘{0}’ isn‘t a type and can’t be used in a redirected constructor.

Description

One way to implement a factory constructor is to redirect to another constructor by referencing the name of the constructor. The analyzer produces this diagnostic when the redirect is to something other than a constructor.

Example

The following code produces this diagnostic because f is a function:

{% prettify dart %} C f() => null;

class C { factory C() = [!f!]; } {% endprettify %}

Common fixes

If the constructor isn't defined, then either define it or replace it with a constructor that is defined.

If the constructor is defined but the class that defines it isn't visible, then you probably need to add an import.

If you‘re trying to return the value returned by a function, then rewrite the constructor to return the value from the constructor’s body:

{% prettify dart %} C f() => null;

class C { factory C() => f(); } {% endprettify %}

referenced_before_declaration

Local variable ‘{0}’ can't be referenced before it is declared.

Description

The analyzer produces this diagnostic when a variable is referenced before it’s declared. In Dart, variables are visible everywhere in the block in which they are declared, but can only be referenced after they are declared.

The analyzer also produces a context message that indicates where the declaration is located.

Example

The following code produces this diagnostic:

{% prettify dart %} void f() { print([!i!]); int i = 5; } {% endprettify %}

Common fixes

If you intended to reference the local variable, move the declaration before the first reference:

{% prettify dart %} void f() { int i = 5; print(i); } {% endprettify %}

If you intended to reference a name from an outer scope, such as a parameter, instance field or top-level variable, then rename the local declaration so that it doesn't hide the outer variable.

{% prettify dart %} void f(int i) { print(i); int x = 5; print(x); } {% endprettify %}

sdk_version_async_exported_from_core

The class ‘{0}’ wasn't exported from ‘dart:core’ until version 2.1, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when either the class Future or Stream is referenced in a library that doesn‘t import dart:async in code that has an SDK constraint whose lower bound is less than 2.1.0. In earlier versions, these classes weren’t defined in dart:core, so the import was necessary.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.1.0:

environment:
  sdk: '>=2.0.0 <2.4.0'

In the package that has that pubspec, code like the following produces this diagnostic:

{% prettify dart %} void f([!Future!] f) {} {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the classes to be referenced:

environment:
  sdk: '>=2.1.0 <2.4.0'

If you need to support older versions of the SDK, then import the dart:async library.

{% prettify dart %} import ‘dart:async’;

void f(Future f) {} {% endprettify %}

sdk_version_as_expression_in_const_context

The use of an as expression in a constant expression wasn't supported until version 2.3.2, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when an as expression inside a constant context is found in code that has an SDK constraint whose lower bound is less than 2.3.2. Using an as expression in a constant context wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.3.2:

environment:
  sdk: '>=2.1.0 <2.4.0'

In the package that has that pubspec, code like the following generates this diagnostic:

{% prettify dart %} const num n = 3; const int i = [!n as int!]; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the expression to be used:

environment:
  sdk: '>=2.3.2 <2.4.0'

If you need to support older versions of the SDK, then either rewrite the code to not use an as expression, or change the code so that the as expression is not in a constant context.:

{% prettify dart %} num x = 3; int y = x as int; {% endprettify %}

sdk_version_bool_operator_in_const_context

The use of the operator ‘{0}’ for ‘bool’ operands in a constant context wasn't supported until version 2.3.2, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when any use of the &, | or ^ operators on the class bool inside a constant context is found in code that has an SDK constraint whose lower bound is less than 2.3.2. Using these operators in a constant context wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.3.2:

environment:
  sdk: '>=2.1.0 <2.4.0'

In the package that has that pubspec, code like the following produces this diagnostic:

{% prettify dart %} const bool a = true; const bool b = false; const bool c = a [!&!] b; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the operators to be used:

environment:
 sdk: '>=2.3.2 <2.4.0'

If you need to support older versions of the SDK, then either rewrite the code to not use these operators, or change the code so that the expression is not in a constant context.:

{% prettify dart %} const bool a = true; const bool b = false; bool c = a & b; {% endprettify %}

sdk_version_eq_eq_operator_in_const_context

Using the operator ‘==’ for non-primitive types wasn't supported until version 2.3.2, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when the operator == is used on a non-primitive type inside a constant context is found in code that has an SDK constraint whose lower bound is less than 2.3.2. Using this operator in a constant context wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.3.2:

environment:
  sdk: '>=2.1.0 <2.4.0'

In the package that has that pubspec, code like the following produces this diagnostic:

{% prettify dart %} class C {} const C a = null; const C b = null; const bool same = a [!==!] b; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the operator to be used:

environment:
  sdk: '>=2.3.2 <2.4.0'

If you need to support older versions of the SDK, then either rewrite the code to not use the == operator, or change the code so that the expression is not in a constant context.:

{% prettify dart %} class C {} const C a = null; const C b = null; bool same = a == b; {% endprettify %}

sdk_version_extension_methods

Extension methods weren't supported until version 2.6.0, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when an extension declaration or an extension override is found in code that has an SDK constraint whose lower bound is less than 2.6.0. Using extensions wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.6.0:

environment:
 sdk: '>=2.4.0 <2.7.0'

In the package that has that pubspec, code like the following generates this diagnostic:

{% prettify dart %} [!extension!] E on String { void sayHello() { print(‘Hello $this’); } } {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the syntax to be used:

environment:
  sdk: '>=2.6.0 <2.7.0'

If you need to support older versions of the SDK, then rewrite the code to not make use of extensions. The most common way to do this is to rewrite the members of the extension as top-level functions (or methods) that take the value that would have been bound to this as a parameter:

{% prettify dart %} void sayHello(String s) { print(‘Hello $s’); } {% endprettify %}

sdk_version_is_expression_in_const_context

The use of an is expression in a constant context wasn't supported until version 2.3.2, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when an is expression inside a constant context is found in code that has an SDK constraint whose lower bound is less than 2.3.2. Using an is expression in a constant context wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.3.2:

environment:
  sdk: '>=2.1.0 <2.4.0'

In the package that has that pubspec, code like the following generates this diagnostic:

{% prettify dart %} const x = 4; const y = [!x is int!] ? 0 : 1; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the expression to be used:

environment:
  sdk: '>=2.3.2 <2.4.0'

If you need to support older versions of the SDK, then either rewrite the code to not use the is operator, or, if that's not possible, change the code so that the is expression is not in a constant context.:

{% prettify dart %} const x = 4; var y = x is int ? 0 : 1; {% endprettify %}

sdk_version_set_literal

Set literals weren't supported until version 2.2, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when a set literal is found in code that has an SDK constraint whose lower bound is less than 2.2.0. Set literals weren‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.2.0:

environment:
  sdk: '>=2.1.0 <2.4.0'

In the package that has that pubspec, code like the following produces this diagnostic:

{% prettify dart %} var s = [!{}!]; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the syntax to be used:

environment:
  sdk: '>=2.2.0 <2.4.0'

If you do need to support older versions of the SDK, then replace the set literal with code that creates the set without the use of a literal:

{% prettify dart %} var s = new Set(); {% endprettify %}

sdk_version_ui_as_code

The for, if, and spread elements weren't supported until version 2.3.0, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when a for, if, or spread element is found in code that has an SDK constraint whose lower bound is less than 2.3.0. Using a for, if, or spread element wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.3.0:

environment:
  sdk: '>=2.2.0 <2.4.0'

In the package that has that pubspec, code like the following generates this diagnostic:

{% prettify dart %} var digits = [[!for (int i = 0; i < 10; i++) i!]]; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the syntax to be used:

environment:
  sdk: '>=2.3.0 <2.4.0'

If you need to support older versions of the SDK, then rewrite the code to not make use of those elements:

{% prettify dart %} var digits = _initializeDigits();

List _initializeDigits() { var digits = []; for (int i = 0; i < 10; i++) { digits.add(i); } return digits; } {% endprettify %}

sdk_version_ui_as_code_in_const_context

The if and spread elements weren't supported in constant expressions until version 2.5.0, but this code is required to be able to run on earlier versions.

Description

The analyzer produces this diagnostic when an if or spread element inside a constant context is found in code that has an SDK constraint whose lower bound is less than 2.5.0. Using an if or spread element inside a constant context wasn‘t supported in earlier versions, so this code won’t be able to run against earlier versions of the SDK.

Example

Here's an example of a pubspec that defines an SDK constraint with a lower bound of less than 2.5.0:

environment:
  sdk: '>=2.4.0 <2.6.0'

In the package that has that pubspec, code like the following generates this diagnostic:

{% prettify dart %} const a = [1, 2]; const b = [[!...a!]]; {% endprettify %}

Common fixes

If you don't need to support older versions of the SDK, then you can increase the SDK constraint to allow the syntax to be used:

environment:
  sdk: '>=2.5.0 <2.6.0'

If you need to support older versions of the SDK, then rewrite the code to not make use of those elements:

{% prettify dart %} const a = [1, 2]; const b = [1, 2]; {% endprettify %}

If that's not possible, change the code so that the element is not in a constant context.:

{% prettify dart %} const a = [1, 2]; var b = [...a]; {% endprettify %}

super_in_extension

The ‘super’ keyword can‘t be used in an extension because an extension doesn’t have a superclass.

Description

The analyzer produces this diagnostic when a member declared inside an extension uses the super keyword . Extensions aren‘t classes and don’t have superclasses, so the super keyword serves no purpose.

Example

The following code produces this diagnostic:

{% prettify dart %} extension E on Object { String get displayString => [!super!].toString(); } {% endprettify %}

Common fixes

Remove the super keyword :

{% prettify dart %} extension E on Object { String get displayString => toString(); } {% endprettify %}

type_argument_not_matching_bounds

‘{0}’ doesn't extend ‘{1}’.

Description

The analyzer produces this diagnostic when a type argument isn't the same as or a subclass of the bounds of the corresponding type parameter.

Example

The following code produces this diagnostic:

{% prettify dart %} class A {}

var a = A<[!String!]>(); {% endprettify %}

Common fixes

Change the type argument to be a subclass of the bounds:

{% prettify dart %} class A {}

var a = A(); {% endprettify %}

type_test_with_undefined_name

The name ‘{0}’ isn‘t defined, so it can’t be used in an ‘is’ expression.

Description

The analyzer produces this diagnostic when the name following the is in a type test expression isn't defined.

Example

The following code produces this diagnostic:

{% prettify dart %} void f(Object o) { if (o is [!Srting!]) { // ... } } {% endprettify %}

Common fixes

Replace the name with the name of a type:

{% prettify dart %} void f(Object o) { if (o is String) { // ... } } {% endprettify %}

undefined_annotation

Undefined name ‘{0}’ used as an annotation.

Description

The analyzer produces this diagnostic when a name that isn't defined is used as an annotation.

Example

The following code produces this diagnostic:

{% prettify dart %} [!@undefined!] void f() {} {% endprettify %}

Common fixes

If the name is correct, but it isn’t declared yet, then declare the name as a constant value:

{% prettify dart %} const undefined = ‘undefined’;

@undefined void f() {} {% endprettify %}

If the name is wrong, replace the name with the name of a valid constant:

{% prettify dart %} @deprecated void f() {} {% endprettify %}

Otherwise, remove the annotation.

undefined_class

Undefined class ‘{0}’.

Description

The analyzer produces this diagnostic when it encounters an identifier that appears to be the name of a class but either isn‘t defined or isn’t visible in the scope in which it's being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} class Point {}

void f([!Piont!] p) {} {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with the name of a class that is defined. The example above can be corrected by fixing the spelling of the class:

{% prettify dart %} class Point {}

void f(Point p) {} {% endprettify %}

If the class is defined but isn't visible, then you probably need to add an import.

undefined_extension_getter

The getter ‘{0}’ isn't defined for the extension ‘{1}’.

Description

The analyzer produces this diagnostic when an extension override is used to invoke a getter, but the getter isn‘t defined by the specified extension. The analyzer also produces this diagnostic when a static getter is referenced but isn’t defined by the specified extension.

Example

The following code produces this diagnostic because the extension E doesn't declare an instance getter named b:

{% prettify dart %} extension E on String { String get a => ‘a’; }

extension F on String { String get b => ‘b’; }

void f() { E(‘c’).[!b!]; } {% endprettify %}

The following code produces this diagnostic because the extension E doesn't declare a static getter named a:

{% prettify dart %} extension E on String {}

var x = E.[!a!]; {% endprettify %}

Common fixes

If the name of the getter is incorrect, then change it to the name of an existing getter:

{% prettify dart %} extension E on String { String get a => ‘a’; }

extension F on String { String get b => ‘b’; }

void f() { E(‘c’).a; } {% endprettify %}

If the name of the getter is correct but the name of the extension is wrong, then change the name of the extension to the correct name:

{% prettify dart %} extension E on String { String get a => ‘a’; }

extension F on String { String get b => ‘b’; }

void f() { F(‘c’).b; } {% endprettify %}

If the name of the getter and extension are both correct, but the getter isn't defined, then define the getter:

{% prettify dart %} extension E on String { String get a => ‘a’; String get b => ‘z’; }

extension F on String { String get b => ‘b’; }

void f() { E(‘c’).b; } {% endprettify %}

undefined_extension_method

The method ‘{0}’ isn't defined for the extension ‘{1}’.

Description

The analyzer produces this diagnostic when an extension override is used to invoke a method, but the method isn‘t defined by the specified extension. The analyzer also produces this diagnostic when a static method is referenced but isn’t defined by the specified extension.

Example

The following code produces this diagnostic because the extension E doesn't declare an instance method named b:

{% prettify dart %} extension E on String { String a() => ‘a’; }

extension F on String { String b() => ‘b’; }

void f() { E(‘c’).!b!; } {% endprettify %}

The following code produces this diagnostic because the extension E doesn't declare a static method named a:

{% prettify dart %} extension E on String {}

var x = E.!a!; {% endprettify %}

Common fixes

If the name of the method is incorrect, then change it to the name of an existing method:

{% prettify dart %} extension E on String { String a() => ‘a’; }

extension F on String { String b() => ‘b’; }

void f() { E(‘c’).a(); } {% endprettify %}

If the name of the method is correct, but the name of the extension is wrong, then change the name of the extension to the correct name:

{% prettify dart %} extension E on String { String a() => ‘a’; }

extension F on String { String b() => ‘b’; }

void f() { F(‘c’).b(); } {% endprettify %}

If the name of the method and extension are both correct, but the method isn't defined, then define the method:

{% prettify dart %} extension E on String { String a() => ‘a’; String b() => ‘z’; }

extension F on String { String b() => ‘b’; }

void f() { E(‘c’).b(); } {% endprettify %}

undefined_extension_setter

The setter ‘{0}’ isn't defined for the extension ‘{1}’.

Description

The analyzer produces this diagnostic when an extension override is used to invoke a setter, but the setter isn‘t defined by the specified extension. The analyzer also produces this diagnostic when a static setter is referenced but isn’t defined by the specified extension.

Example

The following code produces this diagnostic because the extension E doesn't declare an instance setter named b:

{% prettify dart %} extension E on String { set a(String v) {} }

extension F on String { set b(String v) {} }

void f() { E(‘c’).[!b!] = ‘d’; } {% endprettify %}

The following code produces this diagnostic because the extension E doesn't declare a static setter named a:

{% prettify dart %} extension E on String {}

void f() { E.[!a!] = 3; } {% endprettify %}

Common fixes

If the name of the setter is incorrect, then change it to the name of an existing setter:

{% prettify dart %} extension E on String { set a(String v) {} }

extension F on String { set b(String v) {} }

void f() { E(‘c’).a = ‘d’; } {% endprettify %}

If the name of the setter is correct, but the name of the extension is wrong, then change the name of the extension to the correct name:

{% prettify dart %} extension E on String { set a(String v) {} }

extension F on String { set b(String v) {} }

void f() { F(‘c’).b = ‘d’; } {% endprettify %}

If the name of the setter and extension are both correct, but the setter isn't defined, then define the setter:

{% prettify dart %} extension E on String { set a(String v) {} set b(String v) {} }

extension F on String { set b(String v) {} }

void f() { E(‘c’).b = ‘d’; } {% endprettify %}

undefined_function

The function ‘{0}’ isn't defined.

Description

The analyzer produces this diagnostic when it encounters an identifier that appears to be the name of a function but either isn‘t defined or isn’t visible in the scope in which it's being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} List empty() => [];

void main() { print(!emty!); } {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with the name of a function that is defined. The example above can be corrected by fixing the spelling of the function:

{% prettify dart %} List empty() => [];

void main() { print(empty()); } {% endprettify %}

If the function is defined but isn't visible, then you probably need to add an import or re-arrange your code to make the function visible.

undefined_getter

The getter ‘{0}’ isn't defined for the class ‘{1}’.

Description

The analyzer produces this diagnostic when it encounters an identifier that appears to be the name of a getter but either isn‘t defined or isn’t visible in the scope in which it's being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} int f(String s) => s.[!len!]; {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with the name of a getter that is defined. The example above can be corrected by fixing the spelling of the getter:

{% prettify dart %} int f(String s) => s.length; {% endprettify %}

undefined_identifier

Undefined name ‘{0}’.

Description

The analyzer produces this diagnostic when it encounters an identifier that either isn‘t defined or isn’t visible in the scope in which it's being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} int min(int left, int right) => left <= [!rihgt!] ? left : right; {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with an identifier that is defined. The example above can be corrected by fixing the spelling of the variable:

{% prettify dart %} int min(int left, int right) => left <= right ? left : right; {% endprettify %}

If the identifier is defined but isn't visible, then you probably need to add an import or re-arrange your code to make the identifier visible.

undefined_method

The method ‘{0}’ isn't defined for the class ‘{1}’.

Description

The analyzer produces this diagnostic when it encounters an identifier that appears to be the name of a method but either isn‘t defined or isn’t visible in the scope in which it's being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} int f(List l) => l.!removeMiddle!; {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with the name of a method that is defined. The example above can be corrected by fixing the spelling of the method:

{% prettify dart %} int f(List l) => l.removeLast(); {% endprettify %}

undefined_named_parameter

The named parameter ‘{0}’ isn't defined.

Description

The analyzer produces this diagnostic when a method or function invocation has a named argument, but the method or function being invoked doesn't define a parameter with the same name.

Example

The following code produces this diagnostic:

{% prettify dart %} class C { m({int b}) {} }

void f(C c) { c.m([!a!]: 1); } {% endprettify %}

Common fixes

If the argument name is mistyped, then replace it with the correct name. The example above can be fixed by changing a to b:

{% prettify dart %} class C { m({int b}) {} }

void f(C c) { c.m(b: 1); } {% endprettify %}

If a subclass adds a parameter with the name in question, then cast the target to the subclass:

{% prettify dart %} class C { m({int b}) {} }

class D extends C { m({int a, int b}) {} }

void f(C c) { (c as D).m(a: 1); } {% endprettify %}

If the parameter should be added to the function, then add it:

{% prettify dart %} class C { m({int a, int b}) {} }

void f(C c) { c.m(a: 1); } {% endprettify %}

undefined_prefixed_name

The name ‘{0}’ is being referenced through the prefix ‘{1}’, but it isn't defined in any of the libraries imported using that prefix.

Description

The analyzer produces this diagnostic when a prefixed identifier is found where the prefix is valid, but the identifier isn't declared in any of the libraries imported using that prefix.

Example

The following code produces this diagnostic:

{% prettify dart %} import ‘dart:core’ as p;

void f() { p.[!a!]; } {% endprettify %}

Common fixes

If the library in which the name is declared isn't imported yet, add an import for the library.

If the name is wrong, then change it to one of the names that's declared in the imported libraries.

undefined_setter

The setter ‘{0}’ isn't defined for the class ‘{1}’.

Description

The analyzer produces this diagnostic when it encounters an identifier that appears to be the name of a setter but either isn‘t defined or isn’t visible in the scope in which the identifier is being referenced.

Example

The following code produces this diagnostic:

{% prettify dart %} class C { int x = 0; void m(int y) { this.[!z!] = y; } } {% endprettify %}

Common fixes

If the identifier isn't defined, then either define it or replace it with the name of a setter that is defined. The example above can be corrected by fixing the spelling of the setter:

{% prettify dart %} class C { int x = 0; void m(int y) { this.x = y; } } {% endprettify %}

undefined_super_method

The method ‘{0}’ isn't defined in a superclass of ‘{1}’.

Description

The analyzer produces this diagnostic when an inherited method is referenced using super, but there’s no method with that name in the superclass chain.

Example

The following code produces this diagnostic:

{% prettify dart %} class C { void m() { super.!n!; } } {% endprettify %}

Common fixes

If the inherited method you intend to invoke has a different name, then make the name of the invoked method match the inherited method.

If the method you intend to invoke is defined in the same class, then remove the super..

If not, then either add the method to one of the superclasses or remove the invocation.

unqualified_reference_to_static_member_of_extended_type

Static members from the extended type or one of its superclasses must be qualified by the name of the defining type.

Description

The analyzer produces this diagnostic when an undefined name is found, and the name is the same as a static member of the extended type or one of its superclasses.

Example

The following code produces this diagnostic:

{% prettify dart %} class C { static void m() {} }

extension E on C { void f() { !m!; } } {% endprettify %}

Common fixes

If you‘re trying to reference a static member that’s declared outside the extension, then add the name of the class or extension before the reference to the member:

{% prettify dart %} class C { static void m() {} }

extension E on C { void f() { C.m(); } } {% endprettify %}

If you‘re referencing a member that isn’t declared yet, add a declaration:

{% prettify dart %} class C { static void m() {} }

extension E on C { void f() { m(); }

void m() {} } {% endprettify %}

unused_element

The declaration ‘{0}’ isn't referenced.

Description

The analyzer produces this diagnostic when a private class, enum, mixin, typedef, top level variable, top level function, or method is declared but never referenced.

Example

Assuming that no code in the library references _C, the following code produces this diagnostic:

{% prettify dart %} class [!_C!] {} {% endprettify %}

Common fixes

If the declaration isn't needed, then remove it.

If the declaration was intended to be used, then add the missing code.

unused_field

The value of the field ‘{0}’ isn't used.

Description

The analyzer produces this diagnostic when a private field is declared but never read, even if it's written in one or more places.

Example

The following code produces this diagnostic:

{% prettify dart %} class Point { int [!_x!]; } {% endprettify %}

Common fixes

If the field isn't needed, then remove it.

If the field was intended to be used, then add the missing code.

unused_import

Unused import: ‘{0}’.

Description

The analyzer produces this diagnostic when an import isn't needed because none of the names that are imported are referenced within the importing library.

Example

The following code produces this diagnostic:

{% prettify dart %} import [!‘dart:async’!];

void main() {} {% endprettify %}

Common fixes

If the import isn't needed, then remove it.

If some of the imported names are intended to be used, then add the missing code.

unused_local_variable

The value of the local variable ‘{0}’ isn't used.

Description

The analyzer produces this diagnostic when a local variable is declared but never read, even if it's written in one or more places.

Example

The following code produces this diagnostic:

{% prettify dart %} void main() { int [!count!] = 0; } {% endprettify %}

Common fixes

If the variable isn't needed, then remove it.

If the variable was intended to be used, then add the missing code.

uri_does_not_exist

Target of URI doesn't exist: ‘{0}’.

Description

The analyzer produces this diagnostic when an import, export, or part directive is found where the URI refers to a file that doesn't exist.

Example

If the file lib.dart doesn't exist, the following code produces this diagnostic:

{% prettify dart %} import [!‘lib.dart’!]; {% endprettify %}

Common fixes

If the URI was mistyped or invalid, then correct the URI.

If the URI is correct, then create the file.

uri_has_not_been_generated

Target of URI hasn't been generated: ‘{0}’.

Description

The analyzer produces this diagnostic when an import, export, or part directive is found where the URI refers to a file that doesn‘t exist and the name of the file ends with a pattern that’s commonly produced by code generators, such as one of the following:

  • .g.dart
  • .pb.dart
  • .pbenum.dart
  • .pbserver.dart
  • .pbjson.dart
  • .template.dart

Example

If the file lib.g.dart doesn't exist, the following code produces this diagnostic:

{% prettify dart %} import [!‘lib.g.dart’!]; {% endprettify %}

Common fixes

If the file is a generated file, then run the generator that generates the file.

If the file isn't a generated file, then check the spelling of the URI or create the file.