Module inspect_obligations 

A utility module to inspect currently ambiguous obligations in the current context.

Structs

FindFromFloatForF32RootVids 🔒

NestedObligationsForSelfTy 🔒

Enums

UseSubtyping 🔒

Whatever to use subtyping or not when inspecting obligations

Constants

MAX_DEPTH_FOR_OBLIGATIONS_VISITORS 🔒

Using an intentionally low depth to minimize the chance of future breaking changes in case we adapt the approach later on. This also avoids any hangs for exponentially growing proof trees.