tree 7606c841f2449abd11d73c6b3044b92d4452edf6
parent 856c7c67eacd844bbc4defe9e7fe48fd307a22a6
author Erik Ernst <eernst@google.com> 1529413689 +0000
committer Erik Ernst <eernst@google.com> 1529413689 +0000

Make dual use of a part in the same program an error.

The text still uses "with the same URI" as a proxy for "being the
same library" (as it always did). We may wish to change that to
something which will catch the case where different URIs denote the
same library.

Note that this is concerned with the specification,
the feature has been implemented in
https://github.com/dart-lang/sdk/commit/08de1b30aa50454b41452d45c29d130a44649cd3.

Closes-bug: #33225
Change-Id: I678379e98a98c2a021ce2e02c8d942c074ff583c
Reviewed-on: https://dart-review.googlesource.com/60660
Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>