{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
    // make sure we walk into associated type bounds.
    // overflowing during elaboration. Same for implied predicates, which
    match filter {