Closed ptal closed 8 years ago
In ExprTy, Identity and Tuple(vec![x]) both can represent the fact that no value is built per se but is instead forwarded from a sub-expression. It should be unified.
ExprTy
Identity
Tuple(vec![x])
Not sure about this anymore. Identity = Build the value. Tuple(vec![x]) = Forward the value.
In
ExprTy
,Identity
andTuple(vec![x])
both can represent the fact that no value is built per se but is instead forwarded from a sub-expression. It should be unified.