| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd/assignment_final.dart:31:3: Error: Can't assign to the final variable 'initializedFinal'. |
| // initializedFinal = x; // Error |
| // ^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/assignment_final.dart:32:3: Error: Can't assign to the final variable 'initializedLateFinal'. |
| // initializedLateFinal = x; // Error |
| // ^^^^^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/assignment_final.dart:37:3: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. |
| // definitelyAssignedFinal = y; // Error |
| // ^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/assignment_final.dart:38:3: Error: Late final variable 'definitelyAssignedLateFinal' definitely assigned. |
| // definitelyAssignedLateFinal = z; // Error |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/nnbd/assignment_final.dart:40:3: Error: Final variable 'notDefinitelyAssignedFinal' might already be assigned at this point. |
| // notDefinitelyAssignedFinal = z; // Error |
| // ^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class Class extends core::Object { |
| field dynamic field1 = null; |
| field dynamic field2 = null; |
| synthetic constructor •() → self::Class |
| : super core::Object::•() |
| ; |
| } |
| static method method(dynamic x, dynamic y, dynamic z) → dynamic { |
| final core::int initializedFinal = 5; |
| late final core::int initializedLateFinal = 5; |
| final dynamic definitelyUnassignedFinal; |
| late final core::int definitelyUnassignedLateFinal; |
| final dynamic definitelyAssignedFinal; |
| late final dynamic definitelyAssignedLateFinal; |
| final core::int notDefinitelyAssignedFinal; |
| late final core::int notDefinitelyAssignedLateFinal; |
| if(x =={core::Object::==}{(core::Object) → core::bool} 5) { |
| notDefinitelyAssignedFinal = 5; |
| notDefinitelyAssignedLateFinal = 15; |
| } |
| definitelyAssignedFinal = 10; |
| definitelyAssignedLateFinal = 20; |
| invalid-expression "pkg/front_end/testcases/nnbd/assignment_final.dart:31:3: Error: Can't assign to the final variable 'initializedFinal'. |
| initializedFinal = x; // Error |
| ^^^^^^^^^^^^^^^^"; |
| invalid-expression "pkg/front_end/testcases/nnbd/assignment_final.dart:32:3: Error: Can't assign to the final variable 'initializedLateFinal'. |
| initializedLateFinal = x; // Error |
| ^^^^^^^^^^^^^^^^^^^^"; |
| definitelyUnassignedFinal = x; |
| definitelyUnassignedLateFinal = y as{TypeError,ForDynamic} core::int; |
| invalid-expression "pkg/front_end/testcases/nnbd/assignment_final.dart:37:3: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. |
| definitelyAssignedFinal = y; // Error |
| ^^^^^^^^^^^^^^^^^^^^^^^" in definitelyAssignedFinal = y; |
| invalid-expression "pkg/front_end/testcases/nnbd/assignment_final.dart:38:3: Error: Late final variable 'definitelyAssignedLateFinal' definitely assigned. |
| definitelyAssignedLateFinal = z; // Error |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^" in definitelyAssignedLateFinal = z; |
| invalid-expression "pkg/front_end/testcases/nnbd/assignment_final.dart:40:3: Error: Final variable 'notDefinitelyAssignedFinal' might already be assigned at this point. |
| notDefinitelyAssignedFinal = z; // Error |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^" in notDefinitelyAssignedFinal = z as{TypeError,ForDynamic} core::int; |
| notDefinitelyAssignedLateFinal = z as{TypeError,ForDynamic} core::int; |
| } |