1 package com.example.jspecify.unannotatedpackage; 2 3 import org.jspecify.annotations.NullMarked; 4 5 public class Outer { 6 @NullMarked 7 public static class Inner { foo(String s)8 public static String foo(String s) { 9 return s; 10 } 11 } 12 unchecked(Object o)13 public static void unchecked(Object o) {} 14 } 15