{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
        if args.no_args().is_ok() && !trait_name_mandatory {
        // For #[rustc_builtin_macro], it is permitted to leave out the trait name
            return Some((None, ThinVec::new()));