{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                            // An unstable feature. Warn about using it. It makes little sense
                        } else if stability.requires_nightly().is_some() {
                            // to hard-error here since we just warn about fully unknown