src/test/examples/adaptclassstrings/AA.java

// Copyright (c) 2017, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
package adaptclassstrings;

public class AA extends A {

  AA(int f) {
    super(f);
  }

  @Override
  protected int foo() {
    return super.foo() - f;
  }
}