Method substitute

src/main/java/wyil/check/FlowTypeUtils.java:1259–1271

(Type[] types, Function<Object, Syntactic.Item> binder)

	}

	private static Type[] substitute(Type[] types, Function<Object, Syntactic.Item> binder) {
		// NOTE: optimisation to prevent allocation
		Type[] nTypes = types;
		for (int j = 0; j != nTypes.length; ++j) {
			Type before = types[j];
			Type after = before.substitute(binder);
			if (before != after && nTypes == types) {
				nTypes = Arrays.copyOf(types, types.length);
			}
			nTypes[j] = after;
		}
		return nTypes;
	}

	// ===============================================================================================================
	// Binding