blob: 192fa31e2723c96320060d15b418545b2a862aa5 [file] [log] [blame]
library test;
//
// Problems in library:
//
// pkg/front_end/testcases/inference/future_union_async_conditional2.dart:28:39: Error: A value of type 'Object' can't be returned from an async function with return type 'Future<int>'.
// - 'Object' is from 'dart:core'.
// - 'Future' is from 'dart:async'.
// return /*info:DOWN_CAST_COMPOSITE*/ y;
// ^
//
import self as self;
import "dart:core" as core;
import "dart:async" as asy;
import "dart:async";
class MyFuture<T extends core::Object? = dynamic> extends core::Object implements asy::Future<self::MyFuture::T%> {
constructor •() self::MyFuture<self::MyFuture::T%>
: super core::Object::•() {}
constructor value(dynamic x) self::MyFuture<self::MyFuture::T%>
: super core::Object::•() {}
method noSuchMethod(core::Invocation invocation) dynamic
return null;
method then<S extends core::Object? = dynamic>((self::MyFuture::T%) FutureOr<self::MyFuture::then::S%>f, {core::Function? onError = #C1}) → self::MyFuture<self::MyFuture::then::S%>
return throw "";
no-such-method-forwarder method catchError(core::Function onError, {(core::Object) →? core::bool test = #C1}) → asy::Future<self::MyFuture::T%>
return this.{self::MyFuture::noSuchMethod}(new core::_InvocationMirror::_withType(#C2, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[onError]), core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#C4: test}))){(core::Invocation) → dynamic} as{TypeError,ForDynamic} asy::Future<self::MyFuture::T%>;
no-such-method-forwarder method whenComplete(() FutureOr<void>action) asy::Future<self::MyFuture::T%>
return this.{self::MyFuture::noSuchMethod}(new core::_InvocationMirror::_withType(#C5, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[action]), core::Map::unmodifiable<core::Symbol, dynamic>(#C6))){(core::Invocation) → dynamic} as{TypeError,ForDynamic} asy::Future<self::MyFuture::T%>;
no-such-method-forwarder method asStream() asy::Stream<self::MyFuture::T%>
return this.{self::MyFuture::noSuchMethod}(new core::_InvocationMirror::_withType(#C7, 0, #C3, #C8, core::Map::unmodifiable<core::Symbol, dynamic>(#C6))){(core::Invocation) → dynamic} as{TypeError,ForDynamic} asy::Stream<self::MyFuture::T%>;
no-such-method-forwarder method timeout(core::Duration timeLimit, {covariant-by-class () →? FutureOr<self::MyFuture::T%>onTimeout = #C1}) → asy::Future<self::MyFuture::T%>
return this.{self::MyFuture::noSuchMethod}(new core::_InvocationMirror::_withType(#C9, 0, #C3, core::List::unmodifiable<dynamic>(<dynamic>[timeLimit]), core::Map::unmodifiable<core::Symbol, dynamic>(<core::Symbol, dynamic>{#C10: onTimeout}))){(core::Invocation) → dynamic} as{TypeError,ForDynamic} asy::Future<self::MyFuture::T%>;
}
static method g1(core::bool x) asy::Future<core::int> async /* emittedValueType= core::int */ {
return x ?{FutureOr<core::int>} 42 : asy::Future::value<core::int>(42);
}
static method g2(core::bool x) asy::Future<core::int> async /* emittedValueType= core::int */
return x ?{FutureOr<core::int>} 42 : asy::Future::value<core::int>(42);
static method g3(core::bool x) asy::Future<core::int> async /* emittedValueType= core::int */ {
core::Object y = x ?{core::Object} 42 : asy::Future::value<core::int>(42);
return invalid-expression "pkg/front_end/testcases/inference/future_union_async_conditional2.dart:28:39: Error: A value of type 'Object' can't be returned from an async function with return type 'Future<int>'.
- 'Object' is from 'dart:core'.
- 'Future' is from 'dart:async'.
return /*info:DOWN_CAST_COMPOSITE*/ y;
^" in y as{TypeError} core::int;
}
static method main() dynamic {}
constants {
#C1 = null
#C2 = #catchError
#C3 = <core::Type*>[]
#C4 = #test
#C5 = #whenComplete
#C6 = <core::Symbol*, dynamic>{}
#C7 = #asStream
#C8 = <dynamic>[]
#C9 = #timeout
#C10 = #onTimeout
}