{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"NoImplicitPrelude(..)"}]}
            NoImplicitPrelude(..) => No,
            Naked(..) => No,
            NoMangle(..) => Yes,      // Needed for rustdoc