{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"|"}]}
                        | ty::TypingMode::PostAnalysis => {
                        | ty::TypingMode::PostBorrowckAnalysis { .. }
                            ecx.structurally_instantiate_normalizes_to_term(