Module suggestions

Structs§

AwaitsVisitor 🔒: Collect all the awaited expressions within the input expression.
CoroutineData 🔒
FindTypeParam 🔒: Look for type param in an ADT being used only through a reference to confirm that suggesting param: ?Sized would be a valid constraint.
ReplaceImplTraitFolder 🔒
ReplaceImplTraitVisitor 🔒: Collect the spans that we see the generic param param_did
ReturnsVisitor: Collect all the returned expressions within the input expression. Used to point at the return spans when we want to suggest some change to them.
SelfVisitor: Collect all the paths that reference Self. Used to suggest replacing associated types with an explicit type in where clauses.

NextTypeParamName: Suggest a new type parameter name for diagnostic purposes.

get_deref_type_and_refs 🔒
get_explanation_based_on_obligation 🔒
hint_missing_borrow 🔒: Add a hint to add a missing borrow or remove an unnecessary one.
point_at_assoc_type_restriction 🔒: On impl evaluation cycles, look for Self::AssocTy restrictions in where clauses, explain they are not allowed and if possible suggest alternatives.
predicate_constraint 🔒
suggest_desugaring_async_fn_to_impl_future_in_trait
suggest_restriction: Type parameter needs more bounds. The trivial case is T where T: Bound, but it can also be an impl Trait param that needs to be decomposed to a type param for cleaner code.