Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Overriding constants is technically forbidden, but allowed for interactive convenience. 1.12 tightened the rules and requires the `const` keyword for const redefine.
- Loading branch information