Module erg_compiler::ty::free

source ·

Structs

Enums

  • Constraint
    NOTE: you should use Free::get_type/get_subsup instead of deconstructing the constraint by match. Constraints may contain cycles, in which case using match to get the contents will cause memory pollutions. So this does not implement structural_eq.
  • FreeKind

Constants

  • GENERIC_LEVEL
    HACK: see doc/compiler/inference.md for details
  • REC_LIMIT
    Recursion limit for Constraint’s Hash and PartialEq impls

Traits

Type Definitions