{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"mapping::{ToChalk,"}]}
    mapping::{ToChalk, from_chalk_trait_id, lt_to_placeholder_idx},
    make_binders,
    static_lifetime, to_chalk_trait_id, to_placeholder_idx,