{"ast_node_type":"impl","tokens":[{"end":58,"kind":"keyword","start":0,"text":"variables2:"}]}
        variables2: impl Fn(BoundVar) -> GenericArg<'tcx>,
        variables1: &OriginalQueryValues<'tcx>,
    ) -> InferResult<'tcx, ()> {