// A test that a class can extend another class with an MCA constructor,
// and have its own constructor be MCA as well.
// This version just throws away the input rather than passing it to the super constructor.

import java.io.*;
import org.checkerframework.checker.calledmethods.qual.*;
import org.checkerframework.checker.mustcall.qual.*;

class MustCallAliasPassthroughWrong1 extends FilterInputStream {
  // :: error: (mustcallalias.out.of.scope)
  @MustCallAlias MustCallAliasPassthroughWrong1(@MustCallAlias InputStream is) {
    super(null);
  }
}
