languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-05 08:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

[cfe] Update out-of-sync .expect files

Browse source 
Change-Id: Ic3819e9763b701f1ecf15abdafa5fbd7833df633
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/115021
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Dmitry Stefantsov <dmitryas@google.com>
This commit is contained in:
Dmitry Stefantsov 2019-08-30 11:47:51 +00:00 committed by commit-bot@chromium.org
parent b8cde9347a
commit a024685f3a
6 changed files with 46 additions and 46 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkg/front_end/testcases/extensions/explicit_extension_access.dart.outline.expect
View file

@ -34,8 +34,8 @@ static method Extension1|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension1|method(#this);
static method Extension1|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension1|genericMethod::T* t) → core::int*
;
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension1|genericMethod<T>(#this, t);
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension1|genericMethod<T*>(#this, t);
static method Extension2|get#field(final self::Class* #this) → core::int*
;
static method Extension2|set#field(final self::Class* #this, core::int* value) → void
@ -46,8 +46,8 @@ static method Extension2|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension2|method(#this);
static method Extension2|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension2|genericMethod::T* t) → core::int*
;
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension2|genericMethod<T>(#this, t);
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension2|genericMethod<T*>(#this, t);
static method main() → dynamic
;
static method expect(dynamic expected, dynamic actual) → dynamic

12
pkg/front_end/testcases/extensions/explicit_extension_access.dart.strong.expect
View file

@ -38,8 +38,8 @@ static method Extension1|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension1|method(#this);
static method Extension1|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension1|genericMethod::T* t) → core::int*
return #this.{self::Class::field1}.{core::num::+}(t) as{TypeError} core::int*;
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension1|genericMethod<T>(#this, t);
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension1|genericMethod<T*>(#this, t);
static method Extension2|get#field(final self::Class* #this) → core::int*
return #this.{self::Class::field2};
static method Extension2|set#field(final self::Class* #this, core::int* value) → core::int* {
@ -53,8 +53,8 @@ static method Extension2|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension2|method(#this);
static method Extension2|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension2|genericMethod::T* t) → core::int*
return #this.{self::Class::field2}.{core::num::+}(t) as{TypeError} core::int*;
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension2|genericMethod<T>(#this, t);
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension2|genericMethod<T*>(#this, t);
static method main() → dynamic {
self::Class* c = new self::Class::•();
self::expect(42, self::Extension1|get#field(c));
@ -69,8 +69,8 @@ static method main() → dynamic {
self::expect(97, self::Extension2|genericMethod<core::int*>(c, 10));
self::expect(52, self::Extension1|genericMethod<core::num*>(c, 10));
self::expect(97, self::Extension2|genericMethod<core::num*>(c, 10));
<T extends core::num* = dynamic>(T) →* core::int* genericTearOff1 = self::Extension1|get#genericMethod(c);
<T extends core::num* = dynamic>(T) →* core::int* genericTearOff2 = self::Extension2|get#genericMethod(c);
<T extends core::num* = dynamic>(T*) →* core::int* genericTearOff1 = self::Extension1|get#genericMethod(c);
<T extends core::num* = dynamic>(T*) →* core::int* genericTearOff2 = self::Extension2|get#genericMethod(c);
self::expect(52, genericTearOff1.call<core::int*>(10));
self::expect(97, genericTearOff2.call<core::int*>(10));
self::expect(52, genericTearOff1.call<core::num*>(10));

12
pkg/front_end/testcases/extensions/explicit_extension_access.dart.strong.transformed.expect
View file

@ -38,8 +38,8 @@ static method Extension1|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension1|method(#this);
static method Extension1|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension1|genericMethod::T* t) → core::int*
return #this.{self::Class::field1}.{core::num::+}(t) as{TypeError} core::int*;
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension1|genericMethod<T>(#this, t);
static method Extension1|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension1|genericMethod<T*>(#this, t);
static method Extension2|get#field(final self::Class* #this) → core::int*
return #this.{self::Class::field2};
static method Extension2|set#field(final self::Class* #this, core::int* value) → core::int* {
@ -53,8 +53,8 @@ static method Extension2|get#method(final self::Class* #this) → () →* core::
return () → core::int* => self::Extension2|method(#this);
static method Extension2|genericMethod<T extends core::num* = dynamic>(final self::Class* #this, self::Extension2|genericMethod::T* t) → core::int*
return #this.{self::Class::field2}.{core::num::+}(t) as{TypeError} core::int*;
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T) →* core::int*
return <T extends core::num* = dynamic>(T t) → core::int* => self::Extension2|genericMethod<T>(#this, t);
static method Extension2|get#genericMethod(final self::Class* #this) → <T extends core::num* = dynamic>(T*) →* core::int*
return <T extends core::num* = dynamic>(T* t) → core::int* => self::Extension2|genericMethod<T*>(#this, t);
static method main() → dynamic {
self::Class* c = new self::Class::•();
self::expect(42, self::Extension1|get#field(c));
@ -69,8 +69,8 @@ static method main() → dynamic {
self::expect(97, self::Extension2|genericMethod<core::int*>(c, 10));
self::expect(52, self::Extension1|genericMethod<core::num*>(c, 10));
self::expect(97, self::Extension2|genericMethod<core::num*>(c, 10));
<T extends core::num* = dynamic>(T) →* core::int* genericTearOff1 = self::Extension1|get#genericMethod(c);
<T extends core::num* = dynamic>(T) →* core::int* genericTearOff2 = self::Extension2|get#genericMethod(c);
<T extends core::num* = dynamic>(T*) →* core::int* genericTearOff1 = self::Extension1|get#genericMethod(c);
<T extends core::num* = dynamic>(T*) →* core::int* genericTearOff2 = self::Extension2|get#genericMethod(c);
self::expect(52, genericTearOff1.call<core::int*>(10));
self::expect(97, genericTearOff2.call<core::int*>(10));
self::expect(52, genericTearOff1.call<core::num*>(10));

16
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart.outline.expect
View file

@ -32,24 +32,24 @@ static method Extension1|set#field<#T extends core::num* = dynamic>(final self::
;
static method Extension1|method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|method::#T*>* #this) → self::Extension1|method::#T*
;
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T>* #this) → () →* self::Extension1|get#method::#T
return () → self::Extension1|get#method::#T => self::Extension1|method<self::Extension1|get#method::#T>(#this);
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T*>* #this) → () →* self::Extension1|get#method::#T*
return () → self::Extension1|get#method::#T* => self::Extension1|method<self::Extension1|get#method::#T*>(#this);
static method Extension1|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension1|genericMethod::#T*>* #this, self::Extension1|genericMethod::S* t) → self::Extension1|genericMethod::#T*
;
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension1|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension1|get#genericMethod::#T => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T, S>(#this, t);
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension1|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension1|get#genericMethod::#T* => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T*, S*>(#this, t);
static method Extension2|get#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#field::#T*>* #this) → self::Extension2|get#field::#T*
;
static method Extension2|set#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|set#field::#T*>* #this, self::Extension2|set#field::#T* value) → void
;
static method Extension2|method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|method::#T*>* #this) → self::Extension2|method::#T*
;
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T>* #this) → () →* self::Extension2|get#method::#T
return () → self::Extension2|get#method::#T => self::Extension2|method<self::Extension2|get#method::#T>(#this);
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T*>* #this) → () →* self::Extension2|get#method::#T*
return () → self::Extension2|get#method::#T* => self::Extension2|method<self::Extension2|get#method::#T*>(#this);
static method Extension2|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension2|genericMethod::#T*>* #this, self::Extension2|genericMethod::S* t) → self::Extension2|genericMethod::#T*
;
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension2|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension2|get#genericMethod::#T => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T, S>(#this, t);
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension2|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension2|get#genericMethod::#T* => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T*, S*>(#this, t);
static method main() → dynamic
;
static method expect(dynamic expected, dynamic actual) → dynamic

22
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart.strong.expect
View file

@ -41,14 +41,14 @@ static method Extension1|method<#T extends core::num* = dynamic>(final self::Cla
self::Extension1|latestType = "${self::Extension1|method::#T*}";
return #this.{self::Class::field1};
}
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T>* #this) → () →* self::Extension1|get#method::#T
return () → self::Extension1|get#method::#T => self::Extension1|method<self::Extension1|get#method::#T>(#this);
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T*>* #this) → () →* self::Extension1|get#method::#T*
return () → self::Extension1|get#method::#T* => self::Extension1|method<self::Extension1|get#method::#T*>(#this);
static method Extension1|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension1|genericMethod::#T*>* #this, self::Extension1|genericMethod::S* t) → self::Extension1|genericMethod::#T* {
self::Extension1|latestType = "${self::Extension1|genericMethod::#T*}:${self::Extension1|genericMethod::S*}";
return #this.{self::Class::field1}.{core::num::+}(t) as{TypeError} self::Extension1|genericMethod::#T*;
}
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension1|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension1|get#genericMethod::#T => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T, S>(#this, t);
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension1|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension1|get#genericMethod::#T* => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T*, S*>(#this, t);
static method Extension2|get#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#field::#T*>* #this) → self::Extension2|get#field::#T*
return #this.{self::Class::field2};
static method Extension2|set#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|set#field::#T*>* #this, self::Extension2|set#field::#T* value) → self::Extension2|set#field::#T* {
@ -58,12 +58,12 @@ static method Extension2|set#field<#T extends core::num* = dynamic>(final self::
}
static method Extension2|method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|method::#T*>* #this) → self::Extension2|method::#T*
return #this.{self::Class::field2};
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T>* #this) → () →* self::Extension2|get#method::#T
return () → self::Extension2|get#method::#T => self::Extension2|method<self::Extension2|get#method::#T>(#this);
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T*>* #this) → () →* self::Extension2|get#method::#T*
return () → self::Extension2|get#method::#T* => self::Extension2|method<self::Extension2|get#method::#T*>(#this);
static method Extension2|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension2|genericMethod::#T*>* #this, self::Extension2|genericMethod::S* t) → self::Extension2|genericMethod::#T*
return #this.{self::Class::field2}.{core::num::+}(t) as{TypeError} self::Extension2|genericMethod::#T*;
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension2|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension2|get#genericMethod::#T => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T, S>(#this, t);
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension2|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension2|get#genericMethod::#T* => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T*, S*>(#this, t);
static method main() → dynamic {
self::Class<core::int*>* c = new self::Class::•<core::int*>(42, 87);
self::expect(42, self::Extension1|get#field<core::num*>(c));
@ -84,9 +84,9 @@ static method main() → dynamic {
self::expect(42, tearOffInteger1.call());
self::expect("int", self::Extension1|latestType);
self::expect(87, tearOff2.call());
<S extends core::num* = dynamic>(S) →* core::num* genericTearOffNumber1 = self::Extension1|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S) →* core::int* genericTearOffInteger1 = self::Extension1|get#genericMethod<core::int*>(c);
<S extends core::num* = dynamic>(S) →* core::num* genericTearOff2 = self::Extension2|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S*) →* core::num* genericTearOffNumber1 = self::Extension1|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S*) →* core::int* genericTearOffInteger1 = self::Extension1|get#genericMethod<core::int*>(c);
<S extends core::num* = dynamic>(S*) →* core::num* genericTearOff2 = self::Extension2|get#genericMethod<core::num*>(c);
self::expect(52, genericTearOffNumber1.call<core::int*>(10));
self::expect("num:int", self::Extension1|latestType);
self::expect(52, genericTearOffInteger1.call<core::int*>(10));

22
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart.strong.transformed.expect
View file

@ -41,14 +41,14 @@ static method Extension1|method<#T extends core::num* = dynamic>(final self::Cla
self::Extension1|latestType = "${self::Extension1|method::#T*}";
return #this.{self::Class::field1};
}
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T>* #this) → () →* self::Extension1|get#method::#T
return () → self::Extension1|get#method::#T => self::Extension1|method<self::Extension1|get#method::#T>(#this);
static method Extension1|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#method::#T*>* #this) → () →* self::Extension1|get#method::#T*
return () → self::Extension1|get#method::#T* => self::Extension1|method<self::Extension1|get#method::#T*>(#this);
static method Extension1|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension1|genericMethod::#T*>* #this, self::Extension1|genericMethod::S* t) → self::Extension1|genericMethod::#T* {
self::Extension1|latestType = "${self::Extension1|genericMethod::#T*}:${self::Extension1|genericMethod::S*}";
return #this.{self::Class::field1}.{core::num::+}(t) as{TypeError} self::Extension1|genericMethod::#T*;
}
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension1|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension1|get#genericMethod::#T => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T, S>(#this, t);
static method Extension1|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension1|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension1|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension1|get#genericMethod::#T* => self::Extension1|genericMethod<self::Extension1|get#genericMethod::#T*, S*>(#this, t);
static method Extension2|get#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#field::#T*>* #this) → self::Extension2|get#field::#T*
return #this.{self::Class::field2};
static method Extension2|set#field<#T extends core::num* = dynamic>(final self::Class<self::Extension2|set#field::#T*>* #this, self::Extension2|set#field::#T* value) → self::Extension2|set#field::#T* {
@ -58,12 +58,12 @@ static method Extension2|set#field<#T extends core::num* = dynamic>(final self::
}
static method Extension2|method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|method::#T*>* #this) → self::Extension2|method::#T*
return #this.{self::Class::field2};
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T>* #this) → () →* self::Extension2|get#method::#T
return () → self::Extension2|get#method::#T => self::Extension2|method<self::Extension2|get#method::#T>(#this);
static method Extension2|get#method<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#method::#T*>* #this) → () →* self::Extension2|get#method::#T*
return () → self::Extension2|get#method::#T* => self::Extension2|method<self::Extension2|get#method::#T*>(#this);
static method Extension2|genericMethod<#T extends core::num* = dynamic, S extends core::num* = dynamic>(final self::Class<self::Extension2|genericMethod::#T*>* #this, self::Extension2|genericMethod::S* t) → self::Extension2|genericMethod::#T*
return #this.{self::Class::field2}.{core::num::+}(t) as{TypeError} self::Extension2|genericMethod::#T*;
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T>* #this) → <S extends core::num* = dynamic>(S) →* self::Extension2|get#genericMethod::#T
return <S extends core::num* = dynamic>(S t) → self::Extension2|get#genericMethod::#T => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T, S>(#this, t);
static method Extension2|get#genericMethod<#T extends core::num* = dynamic>(final self::Class<self::Extension2|get#genericMethod::#T*>* #this) → <S extends core::num* = dynamic>(S*) →* self::Extension2|get#genericMethod::#T*
return <S extends core::num* = dynamic>(S* t) → self::Extension2|get#genericMethod::#T* => self::Extension2|genericMethod<self::Extension2|get#genericMethod::#T*, S*>(#this, t);
static method main() → dynamic {
self::Class<core::int*>* c = new self::Class::•<core::int*>(42, 87);
self::expect(42, self::Extension1|get#field<core::num*>(c));
@ -84,9 +84,9 @@ static method main() → dynamic {
self::expect(42, tearOffInteger1.call());
self::expect("int", self::Extension1|latestType);
self::expect(87, tearOff2.call());
<S extends core::num* = dynamic>(S) →* core::num* genericTearOffNumber1 = self::Extension1|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S) →* core::int* genericTearOffInteger1 = self::Extension1|get#genericMethod<core::int*>(c);
<S extends core::num* = dynamic>(S) →* core::num* genericTearOff2 = self::Extension2|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S*) →* core::num* genericTearOffNumber1 = self::Extension1|get#genericMethod<core::num*>(c);
<S extends core::num* = dynamic>(S*) →* core::int* genericTearOffInteger1 = self::Extension1|get#genericMethod<core::int*>(c);
<S extends core::num* = dynamic>(S*) →* core::num* genericTearOff2 = self::Extension2|get#genericMethod<core::num*>(c);
self::expect(52, genericTearOffNumber1.call<core::int*>(10));
self::expect("num:int", self::Extension1|latestType);
self::expect(52, genericTearOffInteger1.call<core::int*>(10));