sS tok_typeArgs_declToInvocation(S typeArgs) {
  ret typeArgs; // TODO
}