pub struct TypeTrace {
// some fields omitted
}The trace designates the path through inference that we took to encounter an error or subtyping constraint.
See error_reporting.rs for more details.
impl TypeTraceimpl Repr for TypeTraceimpl Clone for TypeTracefn clone(&self) -> TypeTracefn clone_from(&mut self, source: &Self)
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).