struct TypeCandidates<'tcx> {
tcx: TyCtxt<'tcx>,
candidates: HashSet<TyWrapper<'tcx>>,
max_complexity: usize,
}Fields§
§tcx: TyCtxt<'tcx>§candidates: HashSet<TyWrapper<'tcx>>§max_complexity: usizeImplementations§
Source§impl<'tcx> TypeCandidates<'tcx>
impl<'tcx> TypeCandidates<'tcx>
pub fn new(tcx: TyCtxt<'tcx>, max_complexity: usize) -> Self
pub fn insert(&mut self, ty: Ty<'tcx>) -> bool
pub fn insert_all(&mut self, ty: Ty<'tcx>) -> bool
pub fn insert_all_with_complexity( &mut self, ty: Ty<'tcx>, current_cmplx: usize, ) -> bool
pub fn add_prelude_tys(&mut self)
pub fn candidates(&self) -> &HashSet<TyWrapper<'tcx>>
Trait Implementations§
Source§impl<'tcx> Clone for TypeCandidates<'tcx>
impl<'tcx> Clone for TypeCandidates<'tcx>
Source§fn clone(&self) -> TypeCandidates<'tcx>
fn clone(&self) -> TypeCandidates<'tcx>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl<'tcx> Freeze for TypeCandidates<'tcx>
impl<'tcx> !RefUnwindSafe for TypeCandidates<'tcx>
impl<'tcx> !Send for TypeCandidates<'tcx>
impl<'tcx> !Sync for TypeCandidates<'tcx>
impl<'tcx> Unpin for TypeCandidates<'tcx>
impl<'tcx> !UnwindSafe for TypeCandidates<'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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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