[][src]Module chalk_solve::coherence

Modules

orphan
solve

Structs

CoherenceSolver
SpecializationPriorities

Stores the specialization priorities for a set of impls. This basically encodes which impls specialize one another.

SpecializationPriority

Impls with higher priority take precedence over impls with lower priority (if both apply to the same types). Impls with equal priority should never apply to the same set of input types.

Enums

CoherenceError

Constants

_DERIVE_failure_Fail_FOR_CoherenceError
_DERIVE_failure_core_fmt_Display_FOR_CoherenceError