package test; @empty class My { @empty int foo(@empty int i) { return i + 1; } }