Non-nullable type annotations