{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// parameters to fresh types and regions. For type parameters,
/// We create a mapping `dummy_args` that maps from the impl type
/// this is the identity transform, but we could as well use any