Ambiguous imported type names should not be compile-time errors

[DartBot]

This issue was originally filed by alexe.kaigorodov@gmail.com

---

In "13.1 Imports", the specification (v.013) says:

If a name N is referenced by a library L and N is introduced into the top
level scope L by more than one import then:
• It is a static warning if N is used as a type annotation.
• In checked mode, it is a dynamic error if N is used as a type annotation
and referenced during a subtype test.
• Otherwise, it is a compile-time error.

However, even when the first condition is met, Dart VM still yields a compile error.

Affected co 19 test:
Language/13_Libraries_and_Scripts/1_Imports_A03_t28.dart

[madsager]

Added Area-VM, Triaged labels.

[iposva-google]

cc @gbracha.
Set owner to @mhausner.
Added Accepted label.

[DartBot]

This comment was originally written by rodion...@unipro.ru

---

the test was renamed to 1_Imports_A03_t31

[DartBot]

This comment was originally written by @mhausner

---

Changed the title to: "Ambiguous imported type names should not be compile-time errors".

[iposva-google]

Removed Priority-Medium label.
Added Priority-Unassigned label.

[DartBot]

This comment was originally written by @mhausner

---

Regis, could you please check whether this bug is still accurate? I think you may have fixed this already.

tests/co19/src/Language/13_Libraries_and_Scripts/1_Imports_A03_t31.dart

The test fails for an unrelated reason. It does not import the expect package. When I add the necessary import, I get:

$ dart --checked tests/co19/src/Language/13_Libraries_and_Scripts/1_Imports_A03_t31.dart
Unhandled exception:
Expect.fail('Type error expected in checking mode')
#­0 Expect._fail (package:expect/expect.dart:368:5)
#­1 Expect.fail (package:expect/expect.dart:154:10)
#­2 checkTypeError (file:///src/d2/dart/tests/co19/src/Utils/dynamic_check.dart:19:18)
#­3 checkTypeError (file:///src/d2/dart/tests/co19/src/Utils/dynamic_check.dart:20:7)
#­4 main (file:///src/d2/dart/tests/co19/src/Language/13_Libraries_and_Scripts/1_Imports_A03_t31.dart:32:17)

---

Set owner to @crelier.

[crelier]

Fixed in r25324.

There is a co19 issue filed against the test (issue #481).

---

Added Fixed label.