{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"never!(\"We"}]}
                never!("We don't emit these yet");
            ProjectionElem::OpaqueCast(_) => {
                TyKind::Error.intern(Interner)