{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"|"}]}
            | TyContext::LocalDecl { source_info: SourceInfo { span, .. }, .. } => {
            | TyContext::UserTy(span)
                span_bug!(span, "should not be visiting outside of the CFG: {:?}", ty_context);