Skip to content

Instantly share code, notes, and snippets.

@osa1
Last active March 20, 2024 08:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save osa1/ea8fe49ce2bc9bc50187a14e3679ffaa to your computer and use it in GitHub Desktop.
Save osa1/ea8fe49ce2bc9bc50187a14e3679ffaa to your computer and use it in GitHub Desktop.
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
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment