{"ast_node_type":"other","tokens":[{"end":101,"kind":"keyword","start":0,"text":"Some(BuiltinAttribute"}]}
                                Some(BuiltinAttribute { type_: AttributeType::CrateLevel, .. }) => {}
                                // checked below
                                Some(_) => {