syntax_data: {"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"ExprKind::Box"}]}
source_snippet:             ExprKind::Box { value } => {
context_before:             }
context_after:                 let value_ty = this.thir[value].ty;