{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":".visit_with(&mut"}]}
            .visit_with(&mut ProhibitOpaqueTypes)
            .unwrap_or(ty)
            .break_value()