[Migrated] We should consider using `#[rustc_on_unimplemented]` on `spirv-std` helper traits.

Issue automatically imported from old repo: https://github.com/EmbarkStudios/rust-gpu/issues/983
Old labels: t: enhancement
Originally creatd by eddyb on 2023-01-05T12:44:08Z

I was reviewing this nightly bump PR:

• https://github.com/EmbarkStudios/rust-gpu/pull/982

And its diff shows some nightly diagnostic improvements of the form:

 12  |     *output = image.query_levels();
-    |               ^^^^^ ------------ required by a bound introduced by this call
-    |               |
-    |               the trait `HasQueryLevels` is not implemented for `Image<f32, 4, 2, 0, 0, 1, 0>`
+    |                     ^^^^^^^^^^^^ the trait `HasQueryLevels` is not implemented for `Image<f32, 4, 2, 0, 0, 1, 0>`
     |
     = help: the following other types implement trait `HasQueryLevels`:
               Image<SampledType, 0, DEPTH, ARRAYED, MULTISAMPLED, SAMPLED, FORMAT>

That's definitely better, but the trait can't really explain itself and its connection to the types (i.e. "Image types support query_levels only if such and such parameters have these values" etc.).

Except, in core/std, traits can and very much do do this, using #[rustc_on_unimplemented]!

It's perma-unstable, and there might be efforts to stabilize a subset of it, but even ignoring that, we can still use it under #[cfg_attr(target_arch = "spirv", ...)], just like all the other rustc internals we rely on.

Bắt đầu bằng cách xác định các định nghĩa helper trait của spirv-std liên quan đến những phương thức như query_levels, sau đó xem xét các thay đổi trong chẩn đoán nightly ở PR 982 và hành vi đã được ghi lại của rustc_on_unimplemented. Công việc được xem là hoàn tất khi các tổ hợp tham số Image không được hỗ trợ tạo ra các chẩn đoán giải thích yêu cầu trait liên quan và các tổ hợp hợp lệ, trong khi thuộc tính vẫn được gated cho các mục tiêu SPIR-V.