rjmccall wrote: > > Just to be clear, that's going to impact things like function overloading > > (which we support in C as well as C++), type inspection via `_Generic`, > > template type deduction in C++, etc. That's not an argument for or against > > anything, just a reminder that making these truly distinct types means more > > things to think about. > > To chime in here, my current implementation supports overloading, templating > + specialization and `_Generic`. I think @rjmccall is suggesting we scale > that support back. Which reminds me, I think we discussed some edge cases at > the dev meeting that I should add tests for.
I am not suggesting that template argument deduction should ignore OBTs. Overloading solely by whether an argument is `__ob_trap` seems like a really bad idea, though. https://github.com/llvm/llvm-project/pull/148914 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
