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_at_[hidden]>
Send Time:2021年7月13日(星期二) 17:27
To:std-proposals <std-proposals_at_[hidden]>
Cc:Jaroslav Moravec <j.moravec.email_at_[hidden]>
Subject:[std-proposals] a new proposal.

The proposal is in attachments.

-- 
Std-Proposals mailing list
Std-Proposals_at_[hidden]g
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals