Generics

[sharkdp]

Basilisk doesn't seem to handle rather basic examples involving generics, for example:

from typing import assert_type

class P: ...

def duplicate[T](value: T) -> tuple[T, T]:
    return value, value

assert_type(duplicate(P()), tuple[P, P])

Basilisk fails this assertion and incorrectly infers tuple[T, T] (leaking type variables) instead of tuple[P, P].

Using list[T] or int | T in the return type leads to similar failures.

It also seems to rely on the fact that type variables are capitalized? It fails this assertion and infers t instead of int:

def identity[t](value: t) -> t:
    return value

assert_type(identity(1), int)

[rayliverified]

Thanks for the report. Latest status from the repository README / conformance integrity audit is that Basilisk has been unlisted and the type checker is intentionally inert: CLI invocations currently print the unlisted notice and exit non-zero rather than reporting a clean run.

The public guidance says to remove Basilisk from CI/pre-commit/editor integrations for now, and that the project is being rebuilt from components that can be trusted before anything is relisted. The audit also says there is no revised conformance percentage and no re-submission until the semantic-mutation harness and an external audit are in place.

Is there any news on when a replacement/new version is expected, or should users assume there is no ETA yet?