[PATCH] D133052: [clang] Avoid crash when expanding conversion templates in concepts.

Utkarsh Saxena via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Oct 27 13:09:04 PDT 2022


usaxena95 added a comment.

Not sure if this has come up already but this would still crash on

  template <typename T>
  concept C = requires(T a) { foo(a); };
  struct D1 {
      template <C TO> D1(TO);
  };
  struct D2 {
      friend void foo(D1);
  };
  
  static_assert(C<D2>);

as we only consider conversion to itself (derived to base).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133052



More information about the cfe-commits mailing list