{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"args:"}]}
        args: <Self::Interner as Interner>::GenericArgs,
        def_id: <Self::Interner as Interner>::DefId,
        param_env: <Self::Interner as Interner>::ParamEnv,