ilya-biryukov added a comment.
This breaks the following innocent looking out-of-line definition with two
levels of constrained template parameters:
template <typename T> concept Result = true;
template <Result T>
class CoFuture final {
template <Result Tag> explicit CoFuture();
};
template <Result T>
template <Result Tag>
CoFuture<T>::CoFuture() {}
See godbolt <https://gcc.godbolt.org/z/TvP39vvW7>.
We found this during our compiler releases, not sure if there is a quick
forward fix or we will need to rollback.
@alexander-shaposhnikov could you take a look?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D146178/new/
https://reviews.llvm.org/D146178
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
