{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
/// remaining bound var `'c` to index 0.
/// the mapping will map `'b` back to the GAT's `'b_identity`. Then we need to compress the
///