{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"Some(WellFormedLoc::Param"}]}
            Some(WellFormedLoc::Param { function: def_id, param_idx: idx }),
            arg_span(idx),
            ty.into(),