{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"seen:"}]}
        seen: Default::default(),
        in_scope_parameters,
        // Lazily compute these two, since they're likely a bit expensive.