Use box tests to check if the light analysis mode (without analyzing bodies when possible) produces the same result as the complete analysis. See also the next commit in which light analysis mode is applied. Note that no tests were changed.

compiler/testData/codegen/light-analysis/smartCasts/falseSmartCast.txt

@@ -0,0 +1,16 @@
+public final class FalseSmartCastKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}
+
+
+public final class Foo {
+    public method <init>(): void
+    public final method superFoo(): void
+}
+
+
+public class SuperFoo {
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method bar(): java.lang.String
+    public final @org.jetbrains.annotations.NotNull method baz(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/genericIntersection.txt

@@ -0,0 +1,9 @@
+public final class A {
+    public method <init>(): void
+}
+
+
+public final class GenericIntersectionKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+    public final static method test(p0: java.lang.Object): java.lang.Object
+}

compiler/testData/codegen/light-analysis/smartCasts/genericSet.txt

@@ -0,0 +1,12 @@
+public final class GenericSetKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+    private final static method change(p0: Wrapper, p1: java.lang.Object): void
+}
+
+
+public final class Wrapper {
+    private field x: java.lang.Object
+    public method <init>(p0: java.lang.Object): void
+    public final method getX(): java.lang.Object
+    public final method setX(p0: java.lang.Object): void
+}

compiler/testData/codegen/light-analysis/smartCasts/implicitExtensionReceiver.txt

@@ -0,0 +1,10 @@
+public final class A {
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method foo(): java.lang.String
+}
+
+
+public final class ImplicitExtensionReceiverKt {
+    public final static @org.jetbrains.annotations.NotNull method bar(@org.jetbrains.annotations.Nullable p0: A): java.lang.String
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/implicitMemberReceiver.txt

@@ -0,0 +1,25 @@
+public class A {
+    private final @org.jetbrains.annotations.NotNull field a: java.lang.String
+    public method <init>(): void
+    public @org.jetbrains.annotations.NotNull method getA(): java.lang.String
+}
+
+
+public final class B {
+    private final @org.jetbrains.annotations.NotNull field a: java.lang.String
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method foo(): java.lang.String
+    public @org.jetbrains.annotations.NotNull method getA(): java.lang.String
+}
+
+
+public final class C {
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method bar(): java.lang.String
+    public final @org.jetbrains.annotations.NotNull method complex(@org.jetbrains.annotations.Nullable p0: A): java.lang.String
+}
+
+
+public final class ImplicitMemberReceiverKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/implicitReceiver.txt

@@ -0,0 +1,18 @@
+public class A {
+    inner class A/B
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method foo(): java.lang.String
+}
+
+
+public final static class A/B {
+    private final @org.jetbrains.annotations.NotNull field a: java.lang.String
+    inner class A/B
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method getA(): java.lang.String
+}
+
+
+public final class ImplicitReceiverKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/implicitReceiverInWhen.txt

@@ -0,0 +1,16 @@
+public class A {
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method f(): java.lang.String
+}
+
+
+public final class B {
+    private final @org.jetbrains.annotations.NotNull field x: java.lang.String
+    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
+    public final @org.jetbrains.annotations.NotNull method getX(): java.lang.String
+}
+
+
+public final class ImplicitReceiverInWhenKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/implicitToGrandSon.txt

@@ -0,0 +1,21 @@
+public class A {
+    public method <init>(): void
+    public final @org.jetbrains.annotations.NotNull method bar(): java.lang.String
+    public @org.jetbrains.annotations.NotNull method foo(): java.lang.String
+}
+
+
+public class B {
+    public method <init>(): void
+}
+
+
+public class C {
+    public method <init>(): void
+    public @org.jetbrains.annotations.NotNull method foo(): java.lang.String
+}
+
+
+public final class ImplicitToGrandSonKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/lambdaArgumentWithoutType.txt

@@ -0,0 +1,14 @@
+public final class Foo {
+    private final @org.jetbrains.annotations.NotNull field s: java.lang.String
+    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
+    public final @org.jetbrains.annotations.NotNull method getS(): java.lang.String
+}
+
+
+public final class LambdaArgumentWithoutTypeKt {
+    private final static @org.jetbrains.annotations.NotNull field foo: Foo
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+    public final static @org.jetbrains.annotations.Nullable method foo(): Foo
+    public final static @org.jetbrains.annotations.NotNull method getFoo(): Foo
+    public final static method run(@org.jetbrains.annotations.NotNull p0: kotlin.jvm.functions.Function0): java.lang.Object
+}

compiler/testData/codegen/light-analysis/smartCasts/nullSmartCast.txt

@@ -0,0 +1,5 @@
+public final class NullSmartCastKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+    public final static @org.jetbrains.annotations.NotNull method foo(@org.jetbrains.annotations.Nullable p0: java.lang.Integer): java.lang.String
+    public final static @org.jetbrains.annotations.NotNull method foo(@org.jetbrains.annotations.Nullable p0: java.lang.String): java.lang.String
+}

compiler/testData/codegen/light-analysis/smartCasts/smartCastInsideIf.txt

@@ -0,0 +1,13 @@
+public final class A {
+    private final @org.jetbrains.annotations.NotNull field s: java.lang.String
+    public method <init>(): void
+    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
+    public synthetic method <init>(p0: java.lang.String, p1: int, p2: kotlin.jvm.internal.DefaultConstructorMarker): void
+    public final @org.jetbrains.annotations.NotNull method getS(): java.lang.String
+}
+
+
+public final class SmartCastInsideIfKt {
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+    private final static method foo(p0: A, p1: A): A
+}

compiler/testData/codegen/light-analysis/smartCasts/whenSmartCast.txt

@@ -0,0 +1,4 @@
+public final class WhenSmartCastKt {
+    public final static method baz(@org.jetbrains.annotations.Nullable p0: java.lang.String): int
+    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
+}