erichkeane added a comment.
FWIW, while I wasn't able to reproduce the problem that @Mordante reported, I
found that the test suite as given has a large number of asserts in debug mode
while trying to compare parameter-mappings during constraint
normalization(assert is `clang-15:
/iusers/ekeane1/workspaces/delayed-concepts/clang/lib/AST/ASTContext.cpp:4753:
clang::QualType clang::ASTContext::getSubstTemplateTypeParmType(const
clang::TemplateTypeParmType*, clang::QualType, llvm::Optional<unsigned int>)
const: Assertion ```Replacement.isCanonical() && "replacement types must always
be canonical"' failed.```).`
One Reproducer is:
#pragma clang module import std.array
template<std::input_or_output_iterator>
struct iter_value_or_void { using type = void; };
template<std::input_iterator I>
struct iter_value_or_void<I> {
using type = std::iter_value_t<I>;
BUT debugging seems to show a lot of 'imported' symbols that I'm not
particularly sure how they work, so I suspect they are coming from the
clang-module-import.
So I'm going to have to try to figure out what is going on here with the clang
modules.
Repository:
rG LLVM Github Monorepo
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
