pub trait InferCtxtMethodsForSimplyUnifiableTypes<'tcx, V: SimplyUnifiable<'tcx>, K: UnifyKey<'tcx, Option<V>>> {
fn simple_vars(&self, a_is_expected: bool, a_id: K, b_id: K) -> Result<(), type_err<'tcx>>;
fn simple_var_t(&self, a_is_expected: bool, a_id: K, b: V) -> Result<(), type_err<'tcx>>;
fn probe_var(&self, a_id: K) -> Option<&'tcx TyS<'tcx>>;
}
Required Methods
Implementors
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
).