Module erg_compiler::ty::free
source · Structs
Enums
- NOTE: you should use
Free::get_type/get_subsup
instead of deconstructing the constraint bymatch
. Constraints may contain cycles, in which case usingmatch
to get the contents will cause memory pollutions. So this does not implementstructural_eq
.
Constants
- HACK: see doc/compiler/inference.md for details
- Recursion limit for
Constraint
’sHash
andPartialEq
impls