pub struct PrettyCx<'tcx> {Show 13 fields
pub tcx: TyCtxt<'tcx>,
pub kvar_args: KVarArgs,
pub fully_qualified_paths: bool,
pub simplify_exprs: bool,
pub tags: bool,
pub bindings_chain: bool,
pub preds_chain: bool,
pub full_spans: bool,
pub hide_uninit: bool,
pub hide_refinements: bool,
pub hide_regions: bool,
pub hide_sorts: bool,
env: Env,
}Fields§
§tcx: TyCtxt<'tcx>§kvar_args: KVarArgs§fully_qualified_paths: bool§simplify_exprs: bool§bindings_chain: bool§preds_chain: bool§full_spans: bool§hide_uninit: bool§hide_refinements: bool§hide_regions: bool§hide_sorts: bool§env: EnvImplementations§
Source§impl PrettyCx<'_>
impl PrettyCx<'_>
pub fn default(tcx: TyCtxt<'_>) -> PrettyCx<'_>
pub fn merge(&mut self, opts: &Value)
pub fn with_bound_vars<R>( &self, vars: &[BoundVariableKind], f: impl FnOnce() -> R, ) -> R
pub fn fmt_bound_vars( &self, print_infer_mode: bool, left: &str, vars: &[BoundVariableKind], right: &str, f: &mut Formatter<'_>, ) -> Result
pub fn fmt_bound_reft( &self, debruijn: DebruijnIndex, breft: BoundReft, f: &mut Formatter<'_>, ) -> Result
pub fn kvar_args(self, kvar_args: KVarArgs) -> Self
pub fn fully_qualified_paths(self, b: bool) -> Self
pub fn hide_regions(self, b: bool) -> Self
pub fn hide_sorts(self, b: bool) -> Self
Auto Trait Implementations§
impl<'tcx> !Freeze for PrettyCx<'tcx>
impl<'tcx> !RefUnwindSafe for PrettyCx<'tcx>
impl<'tcx> !Send for PrettyCx<'tcx>
impl<'tcx> !Sync for PrettyCx<'tcx>
impl<'tcx> Unpin for PrettyCx<'tcx>
impl<'tcx> !UnwindSafe for PrettyCx<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more