{"ast_node_type":"impl","tokens":[{"end":80,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<impl Iterator<Item = QuantifiedWhereClause> + use<'a, 'b, 'c>> {
        trait_ref: TraitRef,
        self.current_or_prev_segment.args_and_bindings.map(|args_and_bindings| {