PATH:
opt
/
cloudlinux
/
venv
/
lib
/
python3.11
/
site-packages
/
numpy
/
typing
/
tests
/
data
/
reveal
from __future__ import annotations from typing import TypeVar import numpy as np import numpy.typing as npt T1 = TypeVar("T1", bound=npt.NBitBase) T2 = TypeVar("T2", bound=npt.NBitBase) def add(a: np.floating[T1], b: np.integer[T2]) -> np.floating[T1 | T2]: return a + b i8: np.int64 i4: np.int32 f8: np.float64 f4: np.float32 reveal_type(add(f8, i8)) # E: {float64} reveal_type(add(f4, i8)) # E: {float64} reveal_type(add(f8, i4)) # E: {float64} reveal_type(add(f4, i4)) # E: {float32}
[-] arraysetops.pyi
[open]
[-] lib_utils.pyi
[open]
[+]
..
[-] ndarray_misc.pyi
[open]
[-] numerictypes.pyi
[open]
[-] stride_tricks.pyi
[open]
[-] random.pyi
[open]
[-] linalg.pyi
[open]
[-] npyio.pyi
[open]
[-] memmap.pyi
[open]
[-] matrix.pyi
[open]
[-] index_tricks.pyi
[open]
[-] scalars.pyi
[open]
[-] ufunclike.pyi
[open]
[-] ndarray_conversion.pyi
[open]
[-] arrayterator.pyi
[open]
[-] constants.pyi
[open]
[-] lib_function_base.pyi
[open]
[-] einsumfunc.pyi
[open]
[-] modules.pyi
[open]
[-] flatiter.pyi
[open]
[-] false_positives.pyi
[open]
[-] array_constructors.pyi
[open]
[-] testing.pyi
[open]
[-] lib_version.pyi
[open]
[-] twodim_base.pyi
[open]
[-] ctypeslib.pyi
[open]
[-] fromnumeric.pyi
[open]
[-] fft.pyi
[open]
[-] histograms.pyi
[open]
[-] dtype.pyi
[open]
[-] numeric.pyi
[open]
[-] nested_sequence.pyi
[open]
[-] lib_polynomial.pyi
[open]
[-] nbit_base_example.pyi
[open]
[-] datasource.pyi
[open]
[-] chararray.pyi
[open]
[-] comparisons.pyi
[open]
[-] multiarray.pyi
[open]
[-] ndarray_shape_manipulation.pyi
[open]
[-] emath.pyi
[open]
[-] type_check.pyi
[open]
[-] rec.pyi
[open]
[-] version.pyi
[open]
[-] mod.pyi
[open]
[-] warnings_and_errors.pyi
[open]
[-] arithmetic.pyi
[open]
[-] arraypad.pyi
[open]
[-] arrayprint.pyi
[open]
[-] nditer.pyi
[open]
[-] getlimits.pyi
[open]
[-] ufunc_config.pyi
[open]
[-] ufuncs.pyi
[open]
[-] bitwise_ops.pyi
[open]
[-] char.pyi
[open]
[-] shape_base.pyi
[open]