{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"return"}]}
                    return false;
                let ty::Adt(adt, args) = nonzero_type.kind() else {
                };