{"ast_node_type":"import","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
    // predicate too, but we don't do that because of performance issues.
    // to its definition type. This should be the param-env we use to *prove* the
    // See <https://github.com/rust-lang/rust/pull/117542#issue-1976337685>.