[clang] [Clang] Correctly construct template arguments for file-scope template template parameters (PR #76811)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 3 22:04:23 PST 2024


zyn0217 wrote:

I realized this still crashes the code with NTTP. I will look into this.

```cpp
template <class T>
concept C = false;

template <typename T, unsigned N> struct S {};

template <unsigned N, template <C, unsigned> typename T>
auto wow(T<int, N> ts) {
  return ts.x;
}

int main() { return wow<3>(S<int, 3>{}); }
```

https://github.com/llvm/llvm-project/pull/76811


More information about the cfe-commits mailing list