Functions§
- provide 🔒
- type_
op_ 🔒ascribe_ user_ type - type_
op_ 🔒normalize - type_
op_ 🔒normalize_ clause - type_
op_ 🔒normalize_ fn_ sig - type_
op_ 🔒normalize_ poly_ fn_ sig - type_
op_ 🔒normalize_ ty - type_
op_ 🔒prove_ predicate - type_
op_ prove_ predicate_ with_ cause - The core of the
type_op_prove_predicatequery: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless you’re in that very specific context.