{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"let"}]}
        let shifted_output = tcx.shift_bound_var_indices(num_bound_vars, output);
        // and it's no coincidence why.
        Ok(ty::EarlyBinder::bind(shifted_output).instantiate(tcx, args))