According to the spec on resource element type validation, a new builtin needs to be added, __builtin_hlsl_is_typed_resource_element_compatible. This will be used as part of the constraint expression that is evaluated by the concept applied to resources like RWBuffer. The builtin is also described in the spec.
llvm/wg-hlsl#69