Module rustc::infer::resolve
[−]
[src]
🔬 This is a nightly-only experimental API. (
rustc_private
)Structs
OpportunisticTypeAndRegionResolver |
[ Experimental ] The opportunistic type and region resolver is similar to the opportunistic type resolver, but also opportunistly resolves regions. It is useful for canonicalization. |
OpportunisticTypeResolver |
[ Experimental ] The opportunistic type resolver can be used at any time. It simply replaces
type variables that have been unified with the things they have
been unified with (similar to |
Functions
fully_resolve |
[ Experimental ] Full type resolution replaces all type and region variables with
their concrete results. If any variable cannot be replaced (never unified, etc)
then an |