{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// applied to the type of a suitable `def_id` (which identifies
/// is (in the compiler) basically generic parameters (`args`)
/// `Foo1` or `Foo2`).