{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"|"}]}
            | TypeError::ArgumentSorts(ExpectedFound { .. }, i) => args.nth(i).unwrap(),
            TypeError::ArgumentMutability(i)
            _ => cause.span,