pub struct Glb<'f, 'tcx> {
// some fields omitted
}
"Greatest lower bound" (common subtype)
Trait Implementations
impl<'f, 'tcx> Combine<'tcx> for Glb<'f, 'tcx>
fn infcx<'a>(&'a self) -> &'a InferCtxt<'a, 'tcx>
fn equate<'a>(&'a self) -> Equate<'a, 'tcx>
fn sub<'a>(&'a self) -> Sub<'a, 'tcx>
fn lub<'a>(&'a self) -> Lub<'a, 'tcx>
fn glb<'a>(&'a self) -> Glb<'a, 'tcx>
fn mts(&self, a: &mt<'tcx>, b: &mt<'tcx>) -> cres<'tcx, mt<'tcx>>
fn contratys(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, Ty<'tcx>>
fn tys(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, Ty<'tcx>>
fn tcx<'a>(&'a self) -> &'a ctxt<'tcx>
fn substs(&self, item_def_id: DefId, a_subst: &Substs<'tcx>, b_subst: &Substs<'tcx>) -> cres<'tcx, Substs<'tcx>>
fn args(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> cres<'tcx, Ty<'tcx>>
impl<'a, 'tcx> LatticeDir<'tcx> for Glb<'a, 'tcx>
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).