Hi,

It may be more easier for others to read to give a comprehensive title and put an abstract in the mail texts.

And the content of the document looks confusing.

The first section says new keywords `dynamictype` and `dynamic_cast`.
But the second section tells `declarative_cast`, I am not sure if they refer to the same thing.

Then it lacks a description for formal semantics. And I don't know what does it mean.

Thanks,
Chuanqi

------------------------------------------------------------------
From:Jaroslav Moravec via Std-Proposals <std-proposals@lists.isocpp.org>
Send Time:2021年7月13日(星期二) 17:27
To:std-proposals <std-proposals@lists.isocpp.org>
Cc:Jaroslav Moravec <j.moravec.email@seznam.cz>
Subject:[std-proposals] a new proposal.

The proposal is in attachments. 
-- 
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals