{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
    // So we reverse the frames here. The first frame will be the same as the span from the current
    // In `rustc`, we present const-eval errors from the outer-most place first to the inner-most.
    // `TyCtxtAt<'_>`, so we remove it as it would be redundant.