Module type_certainty 

Modules

certainty 🔒

Structs

CertaintyVisitor 🔒

Functions

adt_def_id 🔒

contains_param 🔒

expr_type_certainty 🔒

Determine the type certainty of expr. in_arg indicates that the expression happens within the evaluation of a function or method call argument.

expr_type_is_certain

A heuristic to tell whether an expression’s type can be determined purely from its subexpressions, and the arguments and locals they use. Put another way, this function tries to tell whether an expression’s type can be determined without appeal to the surrounding context.

generic_args_certainty 🔒

param_certainty 🔒

Tries to tell whether param resolves to something certain, e.g., a non-wildcard type if present. The certainty DefId is cleared before returning.

path_segment_certainty 🔒

qpath_certainty 🔒

Tries to tell whether a QPath resolves to something certain, e.g., whether all of its path segments generic arguments are instantiated.

self_ty 🔒

type_certainty 🔒

type_is_inferable_from_arguments 🔒

update_res 🔒

For at least some QPath::TypeRelative, the path segment’s res can be Res::Err. update_res tries to fix the resolution when parent_certainty is Certain(Some(..)).