Module libslide::partial_evaluator::validate::incompatible_definitions

Detects incompatible variable definitions in a slide program.

See the IncompatibleDefinitions error for more details.

Structs

IncompatibleDefinitionsValidator

Statics

MAX_DEFINITION_PAIRS

Max number of definition pairs we generate diagnostics for.

Functions

all_ordered_definition_pairs
validate