test-data/unit/check-vec.test

[case testVecBasics]
from types import EllipsisType
from typing import Optional, Any, TypeVar

from librt.vecs import vec
from mypy_extensions import i64, i32, i16, u8

def f(v: vec[i64]) -> None:
    x: i64 = v[0]
    x = v[x]
    v[x] = x

v = vec[i64]()
reveal_type(v)  # N: Revealed type is "librt.vecs.vec[mypy_extensions.i64]"
f(v)
reveal_type(len(v))  # N: Revealed type is "mypy_extensions.i64"

vec_i32: vec[i32]
vec_i16: vec[i16]
vec_u8: vec[u8]
vec_bool: vec[bool]
vec_float: vec[float]
vec_str: vec[str]
vec_str_opt1: vec[str | None]
vec_str_opt2: vec[Optional[str]]
vec_nested1: vec[vec[i32]]
vec_nested2: vec[vec[vec[str | None]]]
vec_list: vec[list[int]]
vec_var_tuple: vec[tuple[int, ...]]
vec_object: vec[object]

vec_bad_int: vec[int]  # E: Invalid item type for "vec"
vec_bad_tuple: vec[tuple[int, str]]  # E: Invalid item type for "vec"
vec_bad_union: vec[str | EllipsisType]  # E: Invalid item type for "vec"
vec_bad_any: vec[Any]  # E: Invalid item type for "vec"
vec_bad_two_args: vec[i32, i32]  # E: Invalid item type for "vec"
vec_bad_optional1: vec[int | None]  # E: Invalid item type for "vec"
vec_bad_optional2: vec[i64 | None]  # E: Invalid item type for "vec"
vec_bad_optional3: vec[bool | None]  # E: Invalid item type for "vec"
vec_bad_optional4: vec[float | None]  # E: Invalid item type for "vec"

T = TypeVar("T")

def bad_generic_func(v: vec[T]) -> None: ...  # E: Invalid item type for "vec"
[builtins fixtures/len.pyi]

[case testLenNoArgs]
len()  # E: Too few arguments for "len"
[builtins fixtures/len.pyi]