Valid and Invalid declarations comment for built-in functions is a bit misleading

[dj2]

In the Example: Valid and invalid Declarations we say:

// Invalid, cannot reuse built-in function names (modf in this case).
var<private> modf: f32 = 0.0;

According to the prose above:

Certain objects are provided by the WebGPU implementation, and are treated as if they have been declared by every WGSL program. We say such objects are predeclared. Their scope is the entire WGSL program.

The comment in the example implies you can never reuse a built-in function name. But, from the prose, the end scope of a built-in is the end of the module, so as long as I'm not at module scope I should be able to do:

fn foo() {
  var modf: f32 = 0.0;
}

and have that be valid and any references to modf would refer to the variable.

The first example should be updated to specify you cannot reuse at module scope and an example of re-using a built-in function name at function scope added to show it's allowed.