pub struct Sub<'f, 'tcx> {
// some fields omitted
}
"Greatest lower bound" (common subtype)
Trait Implementations
impl<'f, 'tcx> Combine<'tcx> for Sub<'f, 'tcx>
fn infcx(&'a self) -> &'a InferCtxt<'a, 'tcx>
fn equate(&'a self) -> Equate<'a, 'tcx>
fn sub(&'a self) -> Sub<'a, 'tcx>
fn lub(&'a self) -> Lub<'a, 'tcx>
fn glb(&'a self) -> Glb<'a, 'tcx>
fn contratys(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<&'tcx TyS<'tcx>, type_err<'tcx>>
fn mts(&self, a: &mt<'tcx>, b: &mt<'tcx>) -> Result<mt<'tcx>, type_err<'tcx>>
fn tys(&self, a: &'tcx TyS<'tcx>, b: &'tcx TyS<'tcx>) -> Result<&'tcx TyS<'tcx>, type_err<'tcx>>
fn tcx(&'a self) -> &'a ctxt<'tcx>
fn args(&self, &'tcx TyS<'tcx>, &'tcx TyS<'tcx>) -> Result<&'tcx TyS<'tcx>, type_err<'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
).