Reposting this as an issue for visibility, originally posted this as a PR comment.

The migration guide lists the following under section 4.3:

Class constants must have a visibility and type declared.

However, I'm unable to find anything related to class constant types being required in the spec. Was this an oversight in the spec or in the migration guide?