% `box` and `in` operators See: https://github.com/rust-lang/rfcs/pull/1426#r48383364 Structures ========= AST --- UniOp for `box` and BinOp for `in` and `<-` HIR --- ```c++ struct ExprNode_Emplace { enum class Type { Placer, Boxer, }; Type m_type; ExprNodeP m_place; ExprNodeP m_value; } ``` Type Inferrence =============== The `_Emplace` node type has a revisit to obtain the expected result type.