JustinStitt 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. https://github.com/llvm/llvm-project/pull/148914 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
