#[Deprecated] does not preclude the use of the method

[LocalHeroPro]

Right now:

#[Deprecated(message: 'Move to repository')]
public function index(): void {}

We get: $data = $this->index(); Expectation: $data = $this->~~index~~();

Right now, if we want to preclude, we need to use comment

/**
 * @deprecated
 */
public function index(): void {}

Only then, preclude works as expected.