When writing WGSL it is possible to define multiple entrypoints in a single module. However what's the constraint on entry point names? Obviously two entry points for the same stage can't have the same name, but are entry points allowed to have the same name when they are for different stages.

I think it would make sense to have a namespace per stage, WDYT?