{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"match"}]}
    match (fuel > 0, ty_hir) {
) -> Option<()> {
        (true, Some(ty)) if ty.is_reference() => validate_type_recursively(