pub fn common_supertype(cx: &InferCtxt, origin: TypeOrigin, a_is_expected: bool, a: t, b: t) -> t
Computes the least upper-bound of a and b. If this is
not possible, reports an error and returns ty::err.
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 (or str), enum,
trait, typedef (or
tdef).
