{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"))),"}]}
                ))),
                    false,
                [make::type_bound(make::ty_path(make::path_from_segments(