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
An internal invariant of the type checker was violated; this cannot be produced by normal use of the library.
Fix
This is a bug in JijModeling. Please report it at the JijModeling community on Discord together with the full error output and, if possible, the model that produced it.