{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"if"}]}
            if *level != Level::FailureNote {
            // The failure note level itself does not provide any useful diagnostic information
                buffer.append(0, level.to_str(), Style::Level(*level));