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.

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.

generic_params_type_constraints

Query implementation of crate::db::SemanticGroup::generic_params_type_constraints.

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