1 package com.example.jspecify.unannotatedpackage; 2 3 import org.jspecify.annotations.NullMarked; 4 5 @NullMarked 6 public class TopLevel { foo(String s)7 public static String foo(String s) { 8 return s; 9 } 10 } 11