Can the types used for kernel names be cv-qualified?

[Section 5.2, "Naming of kernels", of revision 8 of the 2020 SYCL Specification](https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html#sec:naming.kernels) lists the requirements for naming of SYCL kernels. Those requirements do not prohibit cv-qualified types. (Those requirements also don't require a class type, but the [definition of "kernel name" in the glossary](https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html#kernel-name) states that "A kernel name is a class type"; this might be a separate issue). Is the following program intended to be well-formed? The Intel OneAPI compiler currently accepts it. https://godbolt.org/z/e8enWEEnb.
```
#include
struct Kernel;
int main() {
sycl::queue q;
q.submit(
[=](sycl::handler &cgh) {
cgh.single_task([]() {});
cgh.single_task([]() {});
cgh.single_task([]() {});
cgh.single_task([]() {});
}
);
}
```