remove incorrect case

Author: JelleZijlstra

conformance/results/pyre/version.toml

@@ -1,2 +1,2 @@
 version = "pyre 0.9.21"
-test_duration = 1.7
+test_duration = 2.3

conformance/results/pytype/version.toml

@@ -1,2 +1,2 @@
 version = "pytype 2024.04.11"
-test_duration = 27.6
+test_duration = 27.3

conformance/results/results.html

@@ -165,10 +165,10 @@ <h3>Python Type System Conformance Test Results</h3>
 <div class='tc-time'>1.3sec</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyre 0.9.21</div>
-<div class='tc-time'>1.7sec</div>
+<div class='tc-time'>2.3sec</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pytype 2024.04.11</div>
-<div class='tc-time'>27.6sec</div>
+<div class='tc-time'>27.3sec</div>
 </th>
 </tr>
 <tr><th class="column" colspan="5">

conformance/tests/specialtypes_promotions.py

@@ -15,7 +15,7 @@ def func1(f: float):
     f.numerator  # E: attribute exists on int but not float
 
     if isinstance(f, float):
-        assert_type(f, float)
+        f.hex()  # OK (attribute exists on float but not int)
     else:
         assert_type(f, int)