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

Unified Diff: pkg/front_end/testcases/runtime_checks/call_through_this.dart.direct.expect

Issue 3002893002: Begin writing tests of the runtime checks needed for Dart 2.0 soundness. (Closed)
Patch Set: Add more annotations to the "checks" category 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/runtime_checks/call_through_this.dart.direct.expect
diff --git a/pkg/front_end/testcases/runtime_checks/call_through_this.dart.direct.expect b/pkg/front_end/testcases/runtime_checks/call_through_this.dart.direct.expect
new file mode 100644
index 0000000000000000000000000000000000000000..ad2d10c2ec94b03c62c575ab9bc9a04dc27892aa
--- /dev/null
+++ b/pkg/front_end/testcases/runtime_checks/call_through_this.dart.direct.expect
@@ -0,0 +1,39 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+typedef F<T extends core::Object> = (T) → dynamic;
+class C<T extends core::Object> extends core::Object {
+ default constructor •() → void
+ : super core::Object::•()
+ ;
+ method f(self::C::T x) → void {}
+ method g1(self::C::T x) → void {
+ this.f(x);
+ }
+ method g2(self::C::T x) → void {
+ this.f(x);
+ }
+ method g3(self::C<self::C::T> c, self::C::T x) → void {
+ c.f(x);
+ }
+ method g4() → (self::C::T) → dynamic
+ return this.f;
+}
+class D extends self::C<core::int> {
+ default constructor •() → void
+ : super self::C::•()
+ ;
+}
+class E extends self::C<core::num> {
+ default constructor •() → void
+ : super self::C::•()
+ ;
+ method f(core::int x) → void {}
+}
+static method test() → dynamic {
+ dynamic x = new self::D::•().g4() as (core::Object) → dynamic;
+ x.call("hi");
+ new self::E::•().g1(1.5);
+}
+static method main() → dynamic {}

Powered by Google App Engine
This is Rietveld 408576698