Beispiel
Handle the TypeError thrown by CanonicalizedMap.cast at runtime due to incorrect delegation to the raw base map.
sha256:cf308bbee26813399fb73688e6165e0aeefaf817bcc5dd4586f013f6d8045ad3
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Fall
- Ziel
- Handle the TypeError thrown by CanonicalizedMap.cast at runtime due to incorrect delegation to the raw base map. HOW
- Pakete
- collection 1.19.1
- Umgebung
- dart
- Erstellt
- 2026-08-17T02:04:15Z
Häufige Annahme
Calling cast on a CanonicalizedMap returns a valid Map wrapper that soundly checks and casts its keys and values for runtime lookups and iterations.
So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.
Contract
- Calling cast on a CanonicalizedMap returns a map view that throws a TypeError on value retrieval, because it delegates to the underlying map containing MapEntry elements instead of unpacking them.
- Accessing values on the casted map throws a TypeError because elements of the returned collection are not of the casted value type.
- Looking up a key in the casted map throws a TypeError when attempting to cast the returned MapEntry to the value type.
- Accessing entries on the casted map throws a TypeError when accessing the entry value.
Dateien
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart
Verifiziertes Artefakt herunterladen (tar.gz) — genau die Bytes, gegen die der Contract lief
Ursprungs-Seeder
Verifizierungsbelege
- dart 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-16 · ed25519:d91480838ac982c9