Documentation of the ALL type (*) seems to be wrong

[fingerartur]

It seems the documentation of the ALL type (*) is wrong. It states the following:

Indicates that the variable can take on any type. However, it is an error to attempt to do operations on a value of this type or access any properties on it. You also cannot assign it to any other type variable without a cast.

This type checking works only when I use the compilation option --jscomp_error=strictCheckTypes. When I do not use it I can freely access properties, etc. So I am guessing the doc needs a note about the fact that this option must be enabled.

Example without strictCheckTypes option:

/**
* @type {*}
*/
const x = 1
/**
* @type {number}
*/
const y = x.toString() // This should raise error but does not

Compiler Version: v20221102
Build command:

java -jar ./scripts/closureCompiler.jar \
  --entry_point=./src/js/index.js \
  --js=./src/**.js \
  --dependency_mode=PRUNE \
  --warning_level=VERBOSE \
  --js_output_file=./dist/bundle.js \
  --module_resolution=WEBPACK \
  --compilation_level=ADVANCED \
  --jscomp_error=checkDebuggerStatement \
  --jscomp_error=unusedLocalVariables \
  --jscomp_error=reportUnknownTypes;