The following example ought to be well-formed, but the standard is insufficiently clear:

  #define X <ciso646> )

  #if __has_include( X && ( defined(X) )
  #endif

Also, there is insufficient prohibition for the formation of __has_include by token pasting when performing macro replacement for the controlling expression of a conditional inclusion.