{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":");"}]}
    );
        param_env.caller_bounds().iter().chain(new_predicates.iter().cloned()),
    // FIXME(compiler-errors): Perhaps there is a case where we need to normalize this