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