{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"var_values:"}]}
    var_values: ty::GenericArgsRef<'tcx>,
    // The values that the bound vars are are being instantiated with.