Method concatDistinct

src/main/java/pascal/taie/util/collection/Lists.java:70–75

Concatenates two lists and removes duplicate items in the resulting list.

(
            List<? extends T> list1, List<? extends T> list2)

     * Concatenates two lists and removes duplicate items in the resulting list.
     */
    public static <T> List<T> concatDistinct(
            List<? extends T> list1, List<? extends T> list2) {
        Set<T> set = new LinkedHashSet<>(list1);
        set.addAll(list2);
        return List.copyOf(set);
    }
}