[PATCH] D126907: Deferred Concept Instantiation Implementation Take 2

[Erich Keane via Phabricator via cfe-commits]

erichkeane added a comment.

I was able to reduce it today.  BUT didn't get a chance to debug:

  template <typename T>
  concept Constraint = true;
  
  template <typename CompletionToken, typename... Signatures>
  class completion_handler_async_result {
  public:
      template <typename Initiation, Constraint RawCompletionToken>
      static void initiate(Initiation&& initiation, RawCompletionToken&& token);
  };
  
  template <typename... Signatures>
  concept Constraint2 =
      requires(float&& t) {
          completion_handler_async_result<float, Signatures...>::initiate(5, 
0.0);
      };
  
  template <typename T>
  void use(int F)
      requires Constraint2<int>
  {}


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126907/new/

https://reviews.llvm.org/D126907

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits