@kotlin.Metadata
public class A {
    public method <init>(): void
}

@kotlin.Metadata
public final class B {
    public method <init>(): void
    public final method foo(p0: int): int
}

@kotlin.Metadata
public final class ImplicitSmartCastThisKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
    public final static method test(@org.jetbrains.annotations.NotNull p0: A): int
}
