{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"infcx:"}]}
    infcx: &'a Infcx,
{
    // These three maps track the bound variable that were replaced by placeholders. It might be