VM crash when type Never
is used
#39466
Labels
area-vm
Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends.
NNBD
Issues related to NNBD Release
type-bug
Incorrect behavior (everything from a crash to more subtle misbehavior)
vm-nnbd-unfork-sdk
Label for all issues that need to be done before the nnbd sdk can be unforked
Consider the following two programs:
Both of them cause a crash in
dart
from commit 11d523d (butdartanalyzer
accepts the programs):The NNBD specification indicates that
Never
is declared in 'dart:core', so both should work.The following form causes the same crash (before execution starts), so it isn't caused by the use of
throw "away"
as an initializing expression:The text was updated successfully, but these errors were encountered: