// Copyright (c) 2018, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

package intrinsics

import java.lang.reflect.InvocationTargetException

fun main(args: Array<String>) {
  testParameterNullCheck()
}

fun expectsNonNullParameters(a: String, b: String): String = a + b

fun testParameterNullCheck() {
  println("> ${expectsNonNullParameters("pre", "post")} <")

  val intrinsics = Class.forName("intrinsics.IntrinsicsKt")
  val method =
    intrinsics.getMethod("expectsNonNullParameters", String::class.java, String::class.java)

  println("> ${method.invoke(null, "pre", "post")} <")

  try {
    println("> ${method.invoke(null, "pre", null)} <")
  } catch (e: InvocationTargetException) {
    println("> exception: ${e.targetException::javaClass} <")
    return
  }
  throw AssertionError()
}