| // Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // Verify that when tearing off a method of a promoted variable, the variable's |
| // promoted type is used for analysis. |
| |
| import 'package:expect/expect.dart'; |
| |
| import '../static_type_helper.dart'; |
| |
| void usingExpectStaticType(num x) { |
| // This is the scenario where the issue was first discovered--when using |
| // `expectStaticType` and forgetting to add the `()`. |
| if (x is int) { |
| var f = x.expectStaticType<Exactly<int>>; |
| f(); |
| } else { |
| Expect.fail('type test should have succeeded'); |
| } |
| } |
| |
| void parameter(C<num> c) { |
| if (c is C<int>) { |
| var f = c.func<Exactly<int>>; |
| f.expectStaticType<Exactly<int Function()>>(); |
| var x = f(); |
| x.expectStaticType<Exactly<int>>(); |
| } else { |
| Expect.fail('type test should have succeeded'); |
| } |
| } |
| |
| void localVariable(C<num> value) { |
| C<num> c = value; |
| if (c is C<int>) { |
| var f = c.func<Exactly<int>>; |
| f.expectStaticType<Exactly<int Function()>>(); |
| var x = f(); |
| x.expectStaticType<Exactly<int>>(); |
| } else { |
| Expect.fail('type test should have succeeded'); |
| } |
| } |
| |
| class C<T> { |
| final T t; |
| C(this.t); |
| T func<X extends Exactly<T>>() => t; |
| } |
| |
| main() { |
| usingExpectStaticType(0); |
| parameter(C<int>(0)); |
| localVariable(C<int>(0)); |
| } |