{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"//"}]}
                // have opaques in them anyways.
                // Only check types, since those are the only things that may
                let Some(proj_term) = proj.term.as_type() else { return };