I think that is suppose to be /** @var RoleInterface $leaf */
when used inline, at least that i how PHPStorm does it.