{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"var_values:"}]}
        var_values: &CanonicalVarValues<'tcx>,
        tcx: TyCtxt<'tcx>,
        projection_fn: impl FnOnce(&V) -> T,