@@ -23,17 +23,13 @@ private predicate sourceMeta(Element id) {
2323 cfg_attr_meta ( id )
2424}
2525
26- private predicate unsafeInnerMeta ( Element id ) {
27- unsafe_meta_meta ( _, id )
28- }
26+ private predicate unsafeInnerMeta ( Element id ) { unsafe_meta_meta ( _, id ) }
2927
3028private predicate metaPath ( Element id , Element path ) {
3129 path_meta_paths ( id , path ) or key_value_meta_paths ( id , path ) or token_tree_meta_paths ( id , path )
3230}
3331
34- private predicate metaExpr ( Element id , Element expr ) {
35- key_value_meta_exprs ( id , expr )
36- }
32+ private predicate metaExpr ( Element id , Element expr ) { key_value_meta_exprs ( id , expr ) }
3733
3834private predicate metaTokenTree ( Element id , Element tokenTree ) {
3935 token_tree_meta_token_trees ( id , tokenTree )
@@ -55,20 +51,18 @@ private predicate deletedElement(Element id) {
5551}
5652
5753query predicate new_block_expr_is_try ( Element id ) {
58- exists ( Element modifier | block_expr_try_block_modifiers ( id , modifier ) and try_block_modifier_is_try ( modifier ) )
54+ exists ( Element modifier |
55+ block_expr_try_block_modifiers ( id , modifier ) and try_block_modifier_is_try ( modifier )
56+ )
5957}
6058
61- query predicate new_names ( Element id ) {
62- names ( id ) or format_args_arg_names ( id )
63- }
59+ query predicate new_names ( Element id ) { names ( id ) or format_args_arg_names ( id ) }
6460
6561query predicate new_format_args_arg_names ( Element id , Element name ) {
6662 format_args_arg_arg_names ( id , name )
6763}
6864
69- query predicate new_const_args ( Element id ) {
70- const_args ( id ) and not wrapperConstArg ( id )
71- }
65+ query predicate new_const_args ( Element id ) { const_args ( id ) and not wrapperConstArg ( id ) }
7266
7367query predicate new_const_arg_exprs ( Element id , Element expr ) {
7468 const_arg_exprs ( id , expr ) and not wrapperConstArg ( id )
@@ -79,16 +73,16 @@ query predicate new_comments(Element id, Element parent, string text) {
7973}
8074
8175query predicate new_struct_field_defaults ( Element id , Element expr ) {
82- exists ( Element constArg | struct_field_default_vals ( id , constArg ) and const_arg_exprs ( constArg , expr ) )
76+ exists ( Element constArg |
77+ struct_field_default_vals ( id , constArg ) and const_arg_exprs ( constArg , expr )
78+ )
8379}
8480
8581query predicate new_variant_discriminants ( Element id , Element expr ) {
8682 exists ( Element constArg | variant_const_args ( id , constArg ) and const_arg_exprs ( constArg , expr ) )
8783}
8884
89- query predicate new_meta ( Element id ) {
90- sourceMeta ( id ) and not unsafeInnerMeta ( id )
91- }
85+ query predicate new_meta ( Element id ) { sourceMeta ( id ) and not unsafeInnerMeta ( id ) }
9286
9387query predicate new_meta_paths ( Element id , Element path ) {
9488 metaPath ( id , path ) and not unsafeInnerMeta ( id )
@@ -108,13 +102,9 @@ query predicate new_meta_token_trees(Element id, Element tokenTree) {
108102 exists ( Element inner | unsafe_meta_meta ( id , inner ) and metaTokenTree ( inner , tokenTree ) )
109103}
110104
111- query predicate new_meta_is_unsafe ( Element id ) {
112- unsafe_meta_is_unsafe ( id )
113- }
105+ query predicate new_meta_is_unsafe ( Element id ) { unsafe_meta_is_unsafe ( id ) }
114106
115- query predicate new_traits ( Element id ) {
116- traits ( id ) and not traitIsAlias ( id )
117- }
107+ query predicate new_traits ( Element id ) { traits ( id ) and not traitIsAlias ( id ) }
118108
119109query predicate new_trait_assoc_item_lists ( Element id , Element assocItemList ) {
120110 trait_assoc_item_lists ( id , assocItemList ) and not traitIsAlias ( id )
@@ -128,13 +118,9 @@ query predicate new_trait_generic_param_lists(Element id, Element genericParamLi
128118 trait_generic_param_lists ( id , genericParamList ) and not traitIsAlias ( id )
129119}
130120
131- query predicate new_trait_is_auto ( Element id ) {
132- trait_is_auto ( id ) and not traitIsAlias ( id )
133- }
121+ query predicate new_trait_is_auto ( Element id ) { trait_is_auto ( id ) and not traitIsAlias ( id ) }
134122
135- query predicate new_trait_is_unsafe ( Element id ) {
136- trait_is_unsafe ( id ) and not traitIsAlias ( id )
137- }
123+ query predicate new_trait_is_unsafe ( Element id ) { trait_is_unsafe ( id ) and not traitIsAlias ( id ) }
138124
139125query predicate new_trait_names ( Element id , Element name ) {
140126 trait_names ( id , name ) and not traitIsAlias ( id )
@@ -152,9 +138,7 @@ query predicate new_trait_where_clauses(Element id, Element whereClause) {
152138 trait_where_clauses ( id , whereClause ) and not traitIsAlias ( id )
153139}
154140
155- query predicate new_trait_aliases ( Element id ) {
156- traitIsAlias ( id )
157- }
141+ query predicate new_trait_aliases ( Element id ) { traitIsAlias ( id ) }
158142
159143query predicate new_trait_alias_attrs ( Element id , int index , Element attr ) {
160144 trait_attrs ( id , index , attr ) and traitIsAlias ( id )
0 commit comments