Recently I read the N1984 "Deducing the type of variable from its initializer expression" proposal and found the reasons for prohibiting the deduction of array types to be unconvincing. Therefore, I wrote a draft proposal contesting this decision: https://eoanermine.com/assets/html/auto-arr-proposal.html

 

I have never written proposals before and English is not my native language. So, I will welcome any feedback.

--
Danil Sidoruk