compiler/testData/cli/jvm/jsr305DefaultMigration.kt - third_party/github/JetBrains/kotlin - Git at Google

 fun test(annotated: DefaultAnnotated) {
     annotated.foo(null)
 }