Initial push.
diff --git a/src/test/examples/rewrite/RequireNonNull.java b/src/test/examples/rewrite/RequireNonNull.java
new file mode 100644
index 0000000..d8868bf
--- /dev/null
+++ b/src/test/examples/rewrite/RequireNonNull.java
@@ -0,0 +1,39 @@
+// Copyright (c) 2017, 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 rewrite;
+
+import java.util.Objects;
+
+public class RequireNonNull {
+
+ public static void main(String[] args) {
+ RequireNonNull o = new RequireNonNull();
+ System.out.println(o.nonnullRemove().toString());
+ System.out.println(o.nonnullRemove(o).toString());
+ o.nonnullWithPhiInstruction(true, o);
+ o.nonnullWithPhiInstruction(false, o);
+ }
+
+ private Object nonnullRemove() {
+ return Objects.requireNonNull(this);
+ }
+
+ private Object nonnullRemove(Object o) {
+ Objects.requireNonNull(o);
+ return o;
+ }
+
+ private void nonnullWithPhiInstruction(boolean b, Object input) {
+ Object o = null;
+ if (b) {
+ o = Objects.requireNonNull(input);
+ }
+ System.out.println(o);
+ }
+
+ @Override
+ public String toString() {
+ return "toString";
+ }
+}
