[clang] [HLSL] Add implicit resource element type concepts to AST (PR #116413)

[Chris B via cfe-commits]

================
@@ -323,19 +325,114 @@ struct TemplateParameterListBuilder {
     return *this;
   }
 
-  BuiltinTypeDeclBuilder &finalizeTemplateArgs() {
+  // The concept specialization expression (CSE) constructed in
+  // constructConceptSpecializationExpr is constructed so that it
+  // matches the CSE that is constructed when parsing the below C++ code:
+  //
+  // template<typename T>
+  // concept is_typed_resource_element_compatible = sizeof(T) <= 16;
----------------
llvm-beanz wrote:

Shouldn't this also require that `T` is a vector type?

https://github.com/llvm/llvm-project/pull/116413