{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"Some(QuantifiedWhereClauses::from_iter(Interner,"}]}
            Some(QuantifiedWhereClauses::from_iter(Interner, lowered_bounds))
        });