reverted return type annotation