It implements the VirtualFunction interface, which has been deprecated since before the release of Dune 2.7.