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

Unified Diff: pkg/front_end/testcases/inference/assert_initializer.dart.direct.expect

Issue 2995553002: Implement type inference for asserts in constructor initializers. (Closed)
Patch Set: Created 3 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
Index: pkg/front_end/testcases/inference/assert_initializer.dart.direct.expect
diff --git a/pkg/front_end/testcases/inference/assert_initializer.dart.direct.expect b/pkg/front_end/testcases/inference/assert_initializer.dart.direct.expect
new file mode 100644
index 0000000000000000000000000000000000000000..4a315f766467326fd962e72397967413a604c6aa
--- /dev/null
+++ b/pkg/front_end/testcases/inference/assert_initializer.dart.direct.expect
@@ -0,0 +1,22 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+ constructor expressionOnly() → void
+ : final dynamic #t1 = () → dynamic
+ assert(self::f<dynamic>());
+.call(), super core::Object::•()
+ ;
+ constructor expressionAndMessage() → void
+ : final dynamic #t2 = () → dynamic
+ assert(self::f<dynamic>(), self::f<dynamic>());
+.call(), super core::Object::•()
+ ;
+}
+static method f<T extends core::Object>() → self::f::T
+ return null;
+static method main() → dynamic {
+ assert(self::f<dynamic>());
+ assert(self::f<dynamic>(), self::f<dynamic>());
+}

Powered by Google App Engine
This is Rietveld 408576698