{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"resolver,"}]}
            resolver,
            traits_in_scope: resolver.traits_in_scope(db),
            diverges: Diverges::Maybe,