https://github.com/Sirraide commented:
So I’m still a bit worried that we will inadvertently run into _some_ case where we have a weird type for which this process succeeds but silently yields the wrong type... This might be a bit messy, but would it be possible to, in _debug mode_ only, always run _both_ the fast path and template deduction and assert that if the former succeeds, it yields the same type as the latter? The fast path is, well, fast, so that shouldn’t slow down debug mode too much, and also it’s debug mode so we probably don’t care. https://github.com/llvm/llvm-project/pull/188196 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
