https://bugs.llvm.org/show_bug.cgi?id=44674
Christopher Di Bella <cjdb...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |---
Status|RESOLVED |REOPENED
--- Comment #2 from Christopher Di Bella <cjdb...@gmail.com> ---
I'm not convinced that this issue and your example are equivalent (although
it's very possible that I have misdiagnosed this as a SFINAE issue when it is
not). The call to `std::to_address` is ill-formed: this means that
`passing<iterator>` should evaluate as `false`, rather than result in an
instantiation error.
```
template<typename I>
void foo(I i) requires requires { std::to_address(i); }
{}
template<typename I>
concept passing = requires(I const& i) {
foo(i);
};
static_assert(not passing<iterator>);
```
I believe this is a faithful remodelling of your example, and still results in
an instantiation error.
Am I missing something here? The "minimal" repro works in cf25e7f, so I thought
this might be a regression.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
