void (Object notAnnotated, <warning descr="Parameter annotated @NotNull should not receive 'null' as an argument">@NotNull</warning> Object o2, <warning descr="Parameter annotated @NotNull should not receive 'null' as an argument">@NotNull</warning> Object warn2) { }