Module functions 

Structs

ConcreteFunction

ConcreteFunctionWithBody

A long Id of a concrete function with body.

ConcreteFunctionWithBodyId

FunctionDeclarationData

FunctionId

FunctionLongId

Function instance. For example: ImplA::foo<A, B>, or bar<A>.

ImplGenericFunctionId

A generic function of an impl.

ImplGenericFunctionWithBodyId

A generic function of a concrete impl.

ImplicitPrecedence

Extra information about sorting of implicit arguments of the function.

Signature

Enums

GenericFunctionId

The ID of a generic function that can be concretized.

GenericFunctionWithBodyId

The ID of a generic function with body that can be concretized.

ImplFunctionBodyId

The body of an impl function implementation.

InlineConfiguration

Traits

FunctionsSemantic

Trait for functions-related semantic queries.

Functions

forbid_inline_always_with_impl_generic_param

If a function with impl generic parameters is marked as ‘#[inline(always)]’, raise a diagnostic.

function_signature_implicit_parameters

Returns the implicit parameters of the given function signature’s AST.

function_signature_params

Returns the parameters of the given function signature’s AST.

function_signature_return_type