Issue478.java

// Test case for Issue 478:
// https://github.com/typetools/checker-framework/issues/478
// @below-java8-jdk-skip-test

import java.io.Serializable;
import java.util.Comparator;

class Issue478 {
    public static Comparator<Object> allTheSame() {
        return (Comparator<Object> & Serializable) (c1, c2) -> 0;
    }
}