{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"wf_tys:"}]}
    wf_tys: &FxIndexSet<Ty<'tcx>>,
    param_env: ty::ParamEnv<'tcx>,
    add_constraints: impl FnOnce(&InferCtxt<'tcx>),