mizvekov wrote:

Regarding the double const , I think this is not a type printer bug per se.

By indiscriminately adding a qualifier to a type, we can produce a type which 
cannot be written, such as this const qualified array case. As such, we can 
never do a good job printing these anyway.

There are two issues:
* A single step desugaring with qualifier preservation could cause this. This 
could be produced as part of the type 'aka' in diagnostics. We probably should 
add a special case for arrays when single step desugaring.
* When adding const for `constexpr` declarations, we could probably add some 
new kind of type sugar node which represents how this qualifier was added.

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

Reply via email to