public class X {
  boolean f(boolean a) {
    <spot>return a</spot>;
  }
}