Module rustc_type_ir::ty_kind::closure
source ยท Structsยง
- A closure can be modeled as a struct that looks like:
- Struct returned by
split()
. - Similar to
ClosureArgs
; see the above documentation for more. - See docs for explanation of how each argument is used.
- FoldEscapingRegions ๐Instantiates a
for<'env> ...
binder with a specific region. - HasRegionsBoundAt ๐Unlike
has_escaping_bound_vars
oroutermost_exclusive_binder
, this will detect only regions bound at the debruijn index.