Module structural_traits

Code which is used by built-in goals that match “structurally”, such a auto traits, Copy/Clone.

Structs

AsyncCallableRelevantTypes 🔒

Relevant types for an async callable, including its inputs, output, and the return type you get from awaiting the output.

ReplaceProjectionWith 🔒

Functions

const_conditions_for_destruct 🔒

coroutine_closure_to_ambiguous_coroutine 🔒

Given a coroutine-closure, project to its returned coroutine when we are not certain that the closure’s kind is compatible with the goal, and therefore also don’t know yet what the closure’s upvars are.

coroutine_closure_to_certain_coroutine 🔒

Given a coroutine-closure, project to its returned coroutine when we are certain that the closure’s kind is compatible with the goal.

extract_fn_def_from_const_callable 🔒

This duplicates extract_tupled_inputs_and_output_from_callable but needs to return different information (namely, the def id and args) so that we can create const conditions.

extract_tupled_inputs_and_output_from_async_callable 🔒

extract_tupled_inputs_and_output_from_callable 🔒

fn_item_to_async_callable 🔒

instantiate_constituent_tys_for_auto_trait 🔒

instantiate_constituent_tys_for_copy_clone_trait 🔒

instantiate_constituent_tys_for_sized_trait 🔒

predicates_for_object_candidate 🔒

Assemble a list of predicates that would be present on a theoretical user impl for an object type. These predicates must be checked any time we assemble a built-in object candidate for an object type, since they are not implied by the well-formedness of the type.