{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"Some(t)"}]}
                Some(t) => {
                // Known opaque type is inspected recursively.
                    // A cyclic opaque type can happen in corner cases that would only error later.