R语言中Promise的val值能否本身也是Promise类型对象？

我了解R语言promise的基础概念：promise包含(env, expr, [val])三部分信息，其中val仅在promise被强制求值后存在。

现需验证以下论断及推理是否正确：

promise中的val本身不能是promise类型对象

推理步骤：

• 1. val是expr在env中求值的结果
• 2. 没有表达式会求值为promise类型对象

其中（2）成立的原因是：promise不具备自求值特性——例如promise (env, expr, val)会求值为val；而其他R对象具备自求值特性，比如5求值结果就是5。

内容的提问来源于stack exchange，提问作者user615536