mirror of
https://github.com/github/codeql.git
synced 2025-12-22 03:36:30 +01:00
I think we'll end up giving a warning/error later, but that's better than having a cast throw now.
I think we'll end up giving a warning/error later, but that's better than having a cast throw now.