remove extraneous file, simplify constraint expression by removing intangible

Author: bob80905

asa1qqqq

@@ -331,12 +331,14 @@ struct TemplateParameterListBuilder {
   //
   // template<typename T>
   // concept is_typed_resource_element_compatible =
-  // __builtin_hlsl_typed_resource_element_compatible<T> &&
-  // !__builtin_hlsl_is_intangible<T> template<typename element_type> requires
+  // __builtin_hlsl_typed_resource_element_compatible<T>
+  //
+  // template<typename element_type> requires
   // is_typed_resource_element_compatible<element_type>
   // struct RWBuffer {
   //     element_type Val;
   // };
+  //
   // int fn() {
   //     RWBuffer<int> Buf;
   // }
@@ -587,25 +589,7 @@ Expr *constructTypedBufferConstraintExpr(Sema &S, SourceLocation NameLoc,
       Context, BoolTy, NameLoc, UTT_IsTypedResourceElementCompatible,
       {TTypeSourceInfo}, NameLoc, true);
 
-  TypeTraitExpr *IsIntangibleExpr =
-      TypeTraitExpr::Create(Context, BoolTy, NameLoc, UTT_IsIntangibleType,
-                            {TTypeSourceInfo}, NameLoc, true);
-
-  UnaryOperator *NotIntangibleExpr = UnaryOperator::Create(
-      Context, IsIntangibleExpr, UO_Not, BoolTy, VK_LValue, OK_Ordinary,
-      NameLoc, false, FPOptionsOverride());
-
-  BinaryOperator *TypedResourceConstraintExpr =
-      BinaryOperator::Create(Context, TypedResExpr, // Left-hand side expression
-                             NotIntangibleExpr, // Right-hand side expression
-                             BO_LAnd,           // Binary operator kind (&&)
-                             BoolTy,            // Result type (bool)
-                             VK_LValue,         // Value kind
-                             OK_Ordinary,       // Object kind
-                             NameLoc,           // Source location of operator
-                             FPOptionsOverride());
-
-  return TypedResourceConstraintExpr;
+  return TypedResExpr;
 }
 
 ConceptDecl *constructTypedBufferConceptDecl(Sema &S, NamespaceDecl *NSD) {

clang/lib/Sema/HLSLExternalSemaSource.cpp

@@ -2,13 +2,8 @@
 
 // CHECK: ConceptDecl 0x{{[0-9a-f]+}} <<invalid sloc>> <invalid sloc> __is_typed_resource_element_compatible
 // CHECK: |-TemplateTypeParmDecl 0x{{[0-9a-f]+}} <<invalid sloc>> <invalid sloc> referenced typename depth 0 index 0 element_type
-// CHECK: `-BinaryOperator 0x{{[0-9a-f]+}} <<invalid sloc>> 'bool' lvalue '&&'
-// CHECK:   |-TypeTraitExpr 0x{{[0-9a-f]+}} <<invalid sloc>> 'bool' __builtin_hlsl_is_typed_resource_element_compatible
-// CHECK:   `-TemplateTypeParmType 0x{{[0-9a-f]+}} 'element_type' dependent depth 0 index 0
-// CHECK:     `-TemplateTypeParm 0x{{[0-9a-f]+}} 'element_type'
-// CHECK:  `-UnaryOperator 0x{{[0-9a-f]+}} <<invalid sloc>> 'bool' lvalue prefix '~' cannot overflow
-// CHECK:    `-TypeTraitExpr 0x{{[0-9a-f]+}} <<invalid sloc>> 'bool' __builtin_hlsl_is_intangible
-// CHECK:      `-TemplateTypeParmType 0x{{[0-9a-f]+}} 'element_type' dependent depth 0 index 0
-// CHECK:        `-TemplateTypeParm 0x{{[0-9a-f]+}} 'element_type'
+// CHECK:  `-TypeTraitExpr 0x{{[0-9a-f]+}} <<invalid sloc>> 'bool' __builtin_hlsl_is_typed_resource_element_compatible
+// CHECK:    `-TemplateTypeParmType 0x{{[0-9a-f]+}} 'element_type' dependent depth 0 index 0
+// CHECK:      `-TemplateTypeParm 0x{{[0-9a-f]+}} 'element_type'
 
 RWBuffer<float> Buffer;