// "Remove annotation" "true-preview" import org.jetbrains.annotations.*; class Foo { @NotNull int foo(){return 0;} }