Module generics

Structs

• GenericParamConst
• GenericParamData
  The result of the computation of the semantic model of a generic parameter.
• GenericParamImpl
• GenericParamType
• GenericParamsData
  The result of the computation of the semantic model of a generic parameters list.

Enums

• GenericArgumentHead
  Head of a generic argument. A non-param non-variable generic argument has a head, which represents the kind of the root node in its tree. This is used for caching queries for fast lookups when the generic argument is not completely inferred yet.
• GenericArgumentId
  Generic argument. A value assigned to a generic parameter. May be a type, impl, constant, etc..
• GenericParam
  Generic parameter.

Functions

• generic_impl_param_trait
  Query implementation of crate::db::SemanticGroup::generic_impl_param_trait.
• generic_param_diagnostics
  Query implementation of crate::db::SemanticGroup::generic_param_diagnostics.
• generic_param_resolver_data
  Query implementation of crate::db::SemanticGroup::generic_param_resolver_data.
• generic_param_semantic
  Query implementation of crate::db::SemanticGroup::generic_param_semantic.
• generic_params_to_args
  Converts each generic param to a generic argument that passes the same generic param.
• priv_generic_param_data
  Query implementation of crate::db::SemanticGroup::priv_generic_param_data.
• priv_generic_param_data_cycle
  Cycle handling for crate::db::SemanticGroup::priv_generic_param_data.
• semantic_generic_params
  Returns the semantic model of a generic parameters list given the list AST, and updates the diagnostics and resolver accordingly.
• semantic_generic_params_ex