Functions§
- provide π
- type_
op_ πnormalize - type_
op_ πnormalize_ ty - The core of the
type_op_prove_predicate
query: 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.