{"ast_node_type":"import","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
    /// *caller's* stack frame. We use a `PlaceTy` instead of an `MPlaceTy` since this
    /// and its layout in the caller. This place is to be interpreted relative to the
    /// avoids having to move *all* return places into Miri's memory.