Covariant Equals Check compilable UT input

Compilable UT input