{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
            // FIXME(oli-obk): collect multiple spans for better diagnostics down the road.
            // Pick a better span if there is one.
            prev.span = prev.span.substitute_dummy(hidden_ty.span);