Trait rustc_middle::ty::diagnostics::IsSuggestable
source · pub trait IsSuggestable<'tcx>: Sized {
// Required methods
fn is_suggestable(self, tcx: TyCtxt<'tcx>, infer_suggestable: bool) -> bool;
fn make_suggestable(
self,
tcx: TyCtxt<'tcx>,
infer_suggestable: bool
) -> Option<Self>;
}
Required Methods§
sourcefn is_suggestable(self, tcx: TyCtxt<'tcx>, infer_suggestable: bool) -> bool
fn is_suggestable(self, tcx: TyCtxt<'tcx>, infer_suggestable: bool) -> bool
Whether this makes sense to suggest in a diagnostic.
We filter out certain types and constants since they don’t provide
meaningful rendered suggestions when pretty-printed. We leave some
nonsense, such as region vars, since those render as '_
and are
usually okay to reinterpret as elided lifetimes.
Only if infer_suggestable
is true, we consider type and const
inference variables to be suggestable.