Struct rustc_hir_analysis::bounds::Bounds
source · pub struct Bounds<'tcx> {
pub clauses: Vec<(Clause<'tcx>, Span)>,
}
Expand description
Collects together a list of type bounds. These lists of bounds occur in many places in Rust’s syntax:
trait Foo: Bar + Baz { }
^^^^^^^^^ supertrait list bounding the `Self` type parameter
fn foo<T: Bar + Baz>() { }
^^^^^^^^^ bounding the type parameter `T`
impl dyn Bar + Baz
^^^^^^^^^ bounding the type-erased dynamic type
Our representation is a bit mixed here – in some cases, we
include the self type (e.g., trait_bounds
) but in others we do not
Fields§
§clauses: Vec<(Clause<'tcx>, Span)>
Implementations§
source§impl<'tcx> Bounds<'tcx>
impl<'tcx> Bounds<'tcx>
pub fn push_region_bound( &mut self, tcx: TyCtxt<'tcx>, region: PolyTypeOutlivesPredicate<'tcx>, span: Span )
pub fn push_trait_bound( &mut self, tcx: TyCtxt<'tcx>, trait_ref: PolyTraitRef<'tcx>, span: Span, polarity: ImplPolarity )
pub fn push_projection_bound( &mut self, tcx: TyCtxt<'tcx>, projection: PolyProjectionPredicate<'tcx>, span: Span )
pub fn push_sized(&mut self, tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, span: Span)
pub fn clauses(&self) -> impl Iterator<Item = (Clause<'tcx>, Span)> + '_
Trait Implementations§
source§impl<'tcx> PartialEq<Bounds<'tcx>> for Bounds<'tcx>
impl<'tcx> PartialEq<Bounds<'tcx>> for Bounds<'tcx>
impl<'tcx> Eq for Bounds<'tcx>
impl<'tcx> StructuralEq for Bounds<'tcx>
impl<'tcx> StructuralPartialEq for Bounds<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for Bounds<'tcx>
impl<'tcx> !Send for Bounds<'tcx>
impl<'tcx> !Sync for Bounds<'tcx>
impl<'tcx> Unpin for Bounds<'tcx>
impl<'tcx> !UnwindSafe for Bounds<'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
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes