{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// - `provided_kind`: given the generic parameter and the value
///   for arguments whose values were not explicitly provided.
///   from `args_for_def_id`, creating a `GenericArg`.