Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(129)

Unified Diff: CHANGELOG.md

Issue 2214833002: fix #26965, allow promotion from type param upper bound in strong mode (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: fix Created 4 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | pkg/analyzer/lib/src/generated/type_system.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: CHANGELOG.md
diff --git a/CHANGELOG.md b/CHANGELOG.md
index e71f985c7da12dc04c8b697a7892cd4f07aea360..4769b61f6e0974ffcd8730d51d8793fa1872038f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,9 +7,19 @@
on Mac. Was already non-blocking on all other platforms.
* Report a better error when a bind fails because of a bad source address.
-### Analyzer
+### Strong Mode
+
+* New feature - an option to disable implicit casts
+ (SDK issue [26583](https://github.com/dart-lang/sdk/issues/26583)),
+ see the [documentation](https://github.com/dart-lang/dev_compiler/blob/master/doc/STATIC_SAFETY.md#disable-implicit-casts)
+ for usage instructions and examples.
-* Strong mode breaking change - infer generic type arguments from the
+* New feature - an option to disable implicit dynamic
+ (SDK issue [25573](https://github.com/dart-lang/sdk/issues/25573)),
+ see the [documentation](https://github.com/dart-lang/dev_compiler/blob/master/doc/STATIC_SAFETY.md#disable-implicit-dynamic)
+ for usage instructions and examples.
+
+* Breaking change - infer generic type arguments from the
constructor invocation arguments
(SDK issue [25220](https://github.com/dart-lang/sdk/issues/25220))
@@ -20,7 +30,7 @@
var otherMap = new Map.from(map);
```
-* Strong mode breaking change - infer local function return type
+* Breaking change - infer local function return type
(SDK issue [26414](https://github.com/dart-lang/sdk/issues/26414))
```dart
@@ -32,6 +42,19 @@
}
```
+* Breaking change - allow type promotion from a generic type parameter
+ (SDK issue [26414](https://github.com/dart-lang/sdk/issues/26965))
+
+ ```dart
+ void fn/*<T>*/(/*=T*/ object) {
+ if (object is String) {
+ // Treat `object` as `String` inside this block.
+ // But it will require a cast to pass it to something that expects `T`.
+ print(object.substring(1));
+ }
+ }
+ ```
+
### Tool Changes
* `dartfmt` - upgraded to v0.2.9
« no previous file with comments | « no previous file | pkg/analyzer/lib/src/generated/type_system.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698