int () { int result = 0; result = <warning descr="Result of 'result * 31' is always '0'">result * 31</warning> + a.hashCode(); result = result * 31 + b.hashCode(); result = result * 31 + c.hashCode(); return result; }