Files
sdk/runtime/bin
Chloe Stefantsova 1f26ddfee2 [ffi] Account for position variance in converting native types
This CL introduces variance-dependent treatment of the `Handle` native
type when converting native types to Dart types. Since `Handle` can
represent any object, it should match any type. To achive that in
cases when `Handle` appears as the subtype in the subtype checks, it's
converted to `Never` in covariant positions and to `Object?` in
covariant ones.

TEST=existing

Issue https://github.com/dart-lang/sdk/issues/49518

Change-Id: Ie16a210491ada80d21f4d0f1c0fa3b3804881ede
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/426880
Reviewed-by: Martin Kustermann <kustermann@google.com>
Reviewed-by: Daco Harkes <dacoharkes@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
2025-05-15 22:53:41 -07:00
..
2025-04-14 10:14:54 -07:00
2025-02-11 20:09:11 -08:00
2023-01-25 14:08:27 +00:00
2023-01-06 07:48:22 +00:00
2024-07-30 18:08:46 +00:00
2023-04-18 20:56:00 +00:00
2024-06-26 11:10:06 +00:00
2023-01-16 15:12:38 +00:00
2023-01-16 15:12:38 +00:00
2024-11-04 10:42:20 +00:00
2025-05-05 06:40:30 -07:00
2024-04-17 19:14:41 +00:00
2024-04-17 19:14:41 +00:00
2024-09-30 10:21:57 +00:00
2024-06-26 11:10:06 +00:00