{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
    // These three maps track the bound variable that were replaced by placeholders. It might be
    infcx: &'a Infcx,
    // nice to remove these since we already have the `kind` in the placeholder; we really just need