Add test case from typetools#3550.

framework/tests/nontopdefault/TestCasting.java

@@ -0,0 +1,20 @@
+import testlib.nontopdefault.qual.NTDMiddle;
+
+@SuppressWarnings("inconsistent.constructor.type") // Not the point of this test
+public class TestCasting {
+    void repro(@NTDMiddle long startTime) {
+        try {
+            System.out.println("Inside try");
+            return;
+        } catch (Exception ex) {
+            long timeTaken = startTime;
+            @NTDMiddle double dblTimeTaken = timeTaken;
+
+            throw new IllegalArgumentException();
+        } finally {
+            long timeTaken2 = startTime;
+            // This assignment used to fail.
+            @NTDMiddle double dblTimeTaken2 = timeTaken2;
+        }
+    }
+}