Added changelog entry for instantiate-to-bound integration + commentary
Change-Id: Ia6b39eb9087e9101c3e652e07bc62a7bbdfbb391
Reviewed-on: https://dart-review.googlesource.com/c/87062
Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
index edafebc..b03f2a3 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -155,6 +155,10 @@
% which in particular means that the notion of being a more specific type
% is eliminated, and function types are made contravariant in their
% parameter types.
+% - Integrate instantiation to bound. This introduces the notions of raw
+% types, the raw-depends relation, and simple bounds; and it specifies
+% the algorithm which is used to expand a raw type (e.g., `C`) to a
+% parameterized type (e.g., `C<int>`).
%
% 1.15
% - Change how language specification describes control flow.
@@ -4992,6 +4996,18 @@
because everything said about raw types
is applicable to raw type expressions in the obvious manner.
+\commentary{%
+For instance, with the declaration \code{Type listType() => List;},
+evaluation of the raw type expression \code{List} in the body yields
+an instance of class \code{Type} reifying \code{List<dynamic>},
+because \code{List} is subject to instantiation to bound.
+Note that \code{List<dynamic>} is not syntactically an expression,
+but it is still possible to get access to
+a \code{Type} instance reifying \code{List<dynamic>}
+without instantiation to bound,
+because it can be the value of a type variable.%
+}
+
\rationale{%
A raw type cannot denote a higher-kinded type
(Dart does not support such types),
