Prove type analysis on argument is useless

Bug: 147860220
Change-Id: I49f4ea930041882e9b4a1cfe86aaca7e51a519ef

src/main/java/com/android/tools/r8/ir/analysis/type/TypeAnalysis.java

diff --git a/src/main/java/com/android/tools/r8/ir/analysis/type/TypeAnalysis.java b/src/main/java/com/android/tools/r8/ir/analysis/type/TypeAnalysis.java
index 9b980b9..1269d73 100644
--- a/src/main/java/com/android/tools/r8/ir/analysis/type/TypeAnalysis.java
+++ b/src/main/java/com/android/tools/r8/ir/analysis/type/TypeAnalysis.java
@@ -119,6 +119,7 @@
           derived = fromDexType(argType, maybeNull(), appView);
         }
         argumentsSeen++;
+        assert outValue.getTypeLattice().equals(derived);
         updateTypeOfValue(outValue, derived);
         // Note that we don't need to enqueue the out value of arguments here because it's constant.
       } else if (instruction.hasInvariantOutType()) {