Module generics

Module generics 

Source

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.

Traits§

GenericParamSemantic
Trait for generic param-related semantic queries.

Functions§

fmt_generic_args
Formats a list of generic arguments.
generic_params_to_args
Converts each generic param to a generic argument that passes the same generic param.
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