Module type_certainty

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, expr_type_is_certain tries to tell whether an expression’s type can be determined without appeal to the surrounding context.

This is, in some sense, a counterpart to let_unit_value’s expr_needs_inferred_result. Intuitively, that function determines whether an expression’s type is needed for type inference, whereas expr_type_is_certain determines whether type inference is needed for an expression’s type.

As a heuristic, expr_type_is_certain may produce false negatives, but a false positive should be considered a bug.

Modules

certainty 🔒

Structs

CertaintyVisitor 🔒

Functions

adt_def_id 🔒

contains_param 🔒

expr_type_certainty 🔒

expr_type_is_certain

generic_args_certainty 🔒

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(..)).