{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"DefiningScopeKind::HirTypeck,"}]}
                DefiningScopeKind::HirTypeck,
                hidden_type.span,
            ) {