charon_lib::ast

Module types

source

Structs§

  • ClosureInfo
    Additional information for closures. We mostly use it in micro-passes like [crate::update_closure_signature].
  • ConstGenericVar
    Const Generic Variable
  • ConstGenericVarId
  • DeBruijnId
  • ExistentialPredicate
    A predicate of the form exists<T> where T: Trait.
  • Field
  • FieldId
  • FunSig
    A function signature.
  • GenericArgs
  • GenericParams
    Generic parameters for a declaration. We group the generics which come from the Rust compiler substitutions (the regions, types and const generics) as well as the trait clauses. The reason is that we consider that those are parameters that need to be filled. We group in a different place the predicates which are not trait clauses, because those enforce constraints but do not need to be filled with witnesses/instances.
  • OutlivesPred
    .0 outlives .1
  • ParamsInfo
    We use this to store information about the parameters in parent blocks. This is necessary because in the definitions we store all the generics, including those coming from the outer impl block.
  • RegionBinder
    A value of type T bound by generic parameters. Used in any context where we’re adding generic parameters that aren’t on the top-level item, e.g. for<'a> clauses, trait methods (TODO), GATs (TODO).
  • RegionId
  • RegionVar
    Region variable.
  • TraitClause
    A predicate of the form Type: Trait<Args>.
  • TraitClauseId
  • TraitDeclRef
    A predicate of the form Type: Trait<Args>.
  • TraitRef
    A reference to a trait
  • TraitTypeConstraint
    A constraint over a trait associated type.
  • Ty
    A type.
  • TypeDecl
    A type declaration.
  • TypeVar
    Type variable. We make sure not to mix variables and type variables by having two distinct definitions.
  • TypeVarId
  • Variant
  • VariantId

Enums§

Type Aliases§