https://github.com/hokein commented:

The current implementation strictly follows the standard's specification for 
replacing the return type of an alias deduction guide.

However, this approach adds some implicit declarations in the AST (in terms of 
the partial class template specialization), which is cumbersome. There is an 
alternative approach, which is to perform an earlier deduction (when building 
the deduction guide) instead of instantiation time deduction, it would allow us 
to avoid having these implicit decls in the AST. This is the approach taken by 
gcc.

The downside is that we diverge from the standard, which might result in subtle 
differences. What do people think? @cor3ntin @mizvekov @zygoloid

https://github.com/llvm/llvm-project/pull/98788
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to