{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"}"}]}
                        }
                            // deref of `Box`, need the base to be valid - propagate
                        _ => bug!("unexpected deref ty {:?} in {:?}", base_ty, borrowed_place),