main.dart

void main() {
  final List<int> list = [1, 2, 3];
  final List<num> otherList = list; // unsound, but Dart allows
  otherList.add(4.5); // unsoundness above requires runtime check here
}