pub const TYPE_MISMATCH: &str = "TYPE_MISMATCH";
Incompatible hard types (our umbrella for the engine’s push_error).
push_error