E-TE0023 — Could not infer function supertype (internal error)
Error Type |
|
|---|---|
Phase |
type checking the model |
Python exception |
|
Message
Internal error: could not infer the function supertype of `{domain} -> {codomain}` because no information about the argument type is available.
This is a bug in JijModeling - please report it to the developers in community Discord (https://discord.gg/Km5dKF9JjG) with the full error output.
Cause
Newer versions of JijModeling no longer raise this error. Older versions raised it when an internal invariant of the type checker was violated, which could not happen through normal use of the library.
Fix
Upgrade JijModeling. If the error persists after upgrading, please report it at the JijModeling community on Discord together with the full error output and, if possible, the model that produced it.