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.
During type inference, partially inferred terms are
represented using inference variables (ty::Infer). These donβt appear in
the final ty::TypeckResults since all of the types should have been
inferred once typeck is done.
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.
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.