rustc_middle::ty

Module generics

Source

Structs§

  • ConstConditions
    ~const bounds for a given item. This is represented using a struct much like GenericPredicates, where you can either choose to only instantiate the “own” bounds or all of the bounds including those from the parent. This distinction is necessary for code like compare_method_predicate_entailment.
  • GenericParamCount
  • GenericParamDef
  • GenericPredicates
    Bounds on generics.
  • Generics
    Information about the formal type/lifetime parameters associated with an item or method. Analogous to hir::Generics.

Enums§