Method select

src/main/java/wyil/check/FlowTypeCheck.java:2560–2569

(List<T> items, Predicate<T> critereon)

	}

	private static <T> List<T> select(List<T> items, Predicate<T> critereon) {
		ArrayList<T> result = new ArrayList<>();
		for (int i = 0; i != items.size(); ++i) {
			T ith = items.get(i);
			if (critereon.test(ith)) {
				result.add(ith);
			}
		}
		return result;
	}

	/**
	 * Determine whether a cast from one type to another is "sensible". That is,