Crate rustc_hir_typeck

Source

ModulesΒ§

_match πŸ”’
autoderef πŸ”’
Some helper functions for AutoDeref.
callee πŸ”’
cast
Code for type-checking cast expressions.
check πŸ”’
closure πŸ”’
Code for type-checking closure expressions.
coercion πŸ”’
Type Coercion
demand πŸ”’
diverges πŸ”’
errors πŸ”’
Errors emitted by rustc_hir_typeck.
expectation πŸ”’
expr πŸ”’
Type checking expressions.
expr_use_visitor
A different sort of visitor for walking fn bodies. Unlike the normal visitor, which just walks the entire body in one shot, the ExprUseVisitor determines how expressions are being used.
fallback πŸ”’
fn_ctxt πŸ”’
gather_locals πŸ”’
intrinsicck πŸ”’
method πŸ”’
Method lookup: the secret sauce of Rust. See the rustc dev guide for more information.
op πŸ”’
Code related to processing overloaded binary and unary operators.
pat πŸ”’
place_op πŸ”’
rvalue_scopes πŸ”’
typeck_root_ctxt πŸ”’
upvar πŸ”’
Inferring borrow kinds for upvars
writeback πŸ”’

MacrosΒ§

type_error_struct

StructsΒ§

BreakableCtxt
CoroutineTypes πŸ”’
When check_fn is invoked on a coroutine (i.e., a body that includes yield), it returns back some information about the yield points.
EnclosingBreakables

EnumsΒ§

Needs
PlaceOp
TupleArgumentsFlag πŸ”’
Controls whether the arguments are tupled. This is used for the call operator.

StaticsΒ§

DEFAULT_LOCALE_RESOURCE
Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

FunctionsΒ§

can_coerce
Check whether ty can be coerced to output_ty. Used from clippy.
fatally_break_rust πŸ”’
infer_type_if_missing πŸ”’
inspect_typeck
Same as typeck but inspect is invoked on evaluation of each root obligation. Inspecting obligations only works with the new trait solver. This function is only to be used by external tools, it should not be called from within rustc. Note, this is not a query, and thus is not cached.
provide
report_unexpected_variant_res πŸ”’
typeck πŸ”’
typeck_with_inspect πŸ”’
used_trait_imports πŸ”’