{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                    // Structs are always irrefutable. Their fields might not be, but we
                Res::Def(DefKind::Ctor(CtorOf::Struct, _), _) => {
                    // don't check for that here, it's only an approximation.