mirror of
https://github.com/dart-lang/sdk
synced 2024-10-14 10:33:28 +00:00
5a6c1e5158
This CL adds some infrastructure that makes it possible to defer the inference of type arguments for a type alias which is used to specify an instance creation: class B<X, Y> {} class C<X> implements B<String, X> {} typedef T<X> = C<List<X>>; void main() { B<Object, Iterable<num>> c = T(); // Infer `T<num>()`. } The CL contains an implementation for type inference in the case where the target is a non-redirecting constructor. There is not yet an implementation of type inference for the case where the type alias ultimately resolves to a redirecting factory constructor, and the shadow nodes are eliminated as null. Change-Id: I9721b293dce37313e046a8339359e51c2d54b4c3 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150301 Commit-Queue: Erik Ernst <eernst@google.com> Reviewed-by: Dmitry Stefantsov <dmitryas@google.com> |
||
---|---|---|
.. | ||
co19 | ||
co19_2 | ||
corelib | ||
corelib_2 | ||
dart2js | ||
dart2js_2 | ||
dartdevc | ||
dartdevc_2 | ||
ffi | ||
ffi_2 | ||
kernel | ||
language | ||
language_2 | ||
lib | ||
lib_2 | ||
modular | ||
standalone | ||
standalone_2 | ||
legacy_status_dart2js.csv | ||
README.md |
This directory contains tests of the language and core library implementations. For more information, see https://github.com/dart-lang/sdk/wiki/Testing.