StoeckOverflow wrote:

Pushed an update after looking again at aliasing and nullability in selector 
matching.

Sema now tries the declaration’s written parameter type spelling first, then a 
desugared fallback if no exact entry exists. This allows declarations using 
aliases to match either the alias selector or, as fallback, the underlying type 
selector, while ensuring the declaration spelling is chosen when both entries 
are present.

Selector formation also strips outer nullability and by-value top-level const 
before lookup. Nullability remains an APINotes annotation effect handled 
separately, so it should not participate in overload selector identity.

I added tests for alias fallback, alias-vs-underlying precedence, and 
nullability-insensitive matching for both global functions and C++ methods.

https://github.com/llvm/llvm-project/pull/205307
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to