Skip to main content Module mono Copy item path Source Mono MonoSet get_impls get_mono_complexity get_mono_set 🔒 get_unbound_generic_candidates if type parameter is unbound, e.g., T in fn foo<T>(),
we use some predefined types to substitute it is_args_fit_trait_bound 🔒 is_fn_solvable 🔒 resolve_mono_apis resolve_var 🔒 Resolve inference variables to concrete values after unification. The
method was renamed resolve_vars_if_possible → deeply_resolve_ignoring_regions
in nightly 2026-09-11. solve_unbound_type_generics 🔒 unify_trait 🔒 only handle the case that rhs does not have any infer types
e.g., <T as Into<U>> == <Foo as Into<Bar>> => Some(T=Foo, U=Bar)) unify_ty 🔒 try to unfiy lhs = rhs,
e.g.,
try_unify(Vec, Vec, …) = Some(i32)
try_unify(Vec, i32, …) = None