{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"Some(rbv::ResolvedArg::LateBound(debruijn,"}]}
                Some(rbv::ResolvedArg::LateBound(debruijn, _, _))
                }
                    if debruijn < self.outer_index =>