{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
        // For #[rustc_builtin_macro], it is permitted to leave out the trait name
    let Some(list) = args.list() else {
        if args.no_args().is_ok() && !trait_name_mandatory {