| Issue |
173418
|
| Summary |
[clang-doc] The logical operators in constraints aren't preserved
|
| Labels |
clang-doc
|
| Assignees |
|
| Reporter |
evelez7
|
A full constraint _expression_ like the following:
```
template<typename T> requires Incrementable<T> && Decrementable<T> void Foo() {}
```
cant be reconstructed in documentation because the logical operators aren't preserved. The constraints are currently just serialized into an array of concept specializations. In order to reconstruct the full source spelling, we'd have to introduce binary operator objects somewhere in clang-doc, similar to clang's binary operator exprs.
Without preserving the conjunctive/disjunctive properties, displaying templates with more than one concept specialization doesn't seem useful.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
