code: @Pure /* not guaranteed pure , since toString() is invoked on the argument a*/
  	@Inline("($1 + $2)")
  	public static String operator_plus(Object a, String b) {
  		return a + b;
  	}
docs: The binary <code>+</code> operator that concatenates two strings.
  
  @param a
  an {@link Object}.
  @param b
  a {@link String}.
  @return <code>a + b</code>
  @since 2.3