| 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>(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 {} |
