A library (KernelF but it’s not important which one it is) defines some types and some operations and relationships between them. In particular, it defines some overloaded operations containers to specify that e.g. EqualsExpression can be applied to two EnumTypes as long as they are for the same enu…

The way overloaded operations rules work, is for every rule for a specific operation, such as a binary operation, typechecker tries to match its left and right operand types with the types provided in the rule. If the option “is exact” is set to false, types are compared using subtyping relation, an…

Overloaded operations containers and extended languages

MPS

Topic		Replies	Views
Assign file extension '*.h' only if not yet assigned? IntelliJ Platform	4	89	July 31, 2026
Method overriding not work in Plugin V2 RPC interface IntelliJ Platform remote-development	4	182	May 31, 2026
How can I achieve implied multiplication for expressions in TI-BASIC IntelliJ Platform plugin-development , solved	1	92	November 26, 2025
Possible false positive OverrideOnly on ReadConstraint IntelliJ Platform	3	80	May 11, 2026
PsiUtil.resolveClassInClassTypeOnly(type) can not solve expect enum IntelliJ Platform	5	179	April 2, 2025

Overloaded operations containers and extended languages

Related topics