blob: a2932c8aa4ffd86e40bfefd6594966d804e553eb [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/infer_object_from_dynamic.dart:20:5: Error: This expression has type 'void' and can't be used.
// g(v);
// ^
//
// pkg/front_end/testcases/nnbd/infer_object_from_dynamic.dart:27:5: Error: This expression has type 'void' and can't be used.
// h(v);
// ^
//
import self as self;
import "dart:core" as core;
static method f<T extends core::Object? = dynamic>(self::f::T% t) self::f::T%
return t;
static method g<T extends core::Object? = dynamic>(self::g::T? t) self::g::T%
return t!;
static method h<T extends core::Object = core::Object>(self::h::T? t) self::h::T
return t!;
static method foo(dynamic d, void v, core::Object? onull, core::Object o, core::String? snull, core::String s) dynamic {
self::f<dynamic>(d);
self::f<void>(v);
self::f<core::Object?>(onull);
self::f<core::Object>(o);
self::f<core::String?>(snull);
self::f<core::String>(s);
self::g<core::Object>(d);
self::g<core::Object>(let final Never #t1 = invalid-expression "pkg/front_end/testcases/nnbd/infer_object_from_dynamic.dart:20:5: Error: This expression has type 'void' and can't be used.
g(v);
^" in v);
self::g<core::Object>(onull);
self::g<core::Object>(o);
self::g<core::String>(snull);
self::g<core::String>(s);
self::h<core::Object>(d);
self::h<core::Object>(let final Never #t2 = invalid-expression "pkg/front_end/testcases/nnbd/infer_object_from_dynamic.dart:27:5: Error: This expression has type 'void' and can't be used.
h(v);
^" in v);
self::h<core::Object>(onull);
self::h<core::Object>(o);
self::h<core::String>(snull);
self::h<core::String>(s);
}
static method main() → dynamic {}