{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"args:"}]}
            args: ty::GenericArgs::empty(),
            def: ty::InstanceKind::ThreadLocalShim(def_id),
        };