Add lang item for AsyncFnKindHelper::Upvars · model-checking/verify-rust-std@99eabb4 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -146,6 +146,7 @@ mod internal_implementation_detail {
146	146	// `for<'env> fn() -> (&'env T, ...)`. This allows us to represent the binder
147	147	// of the closure's self-capture, and these upvar types will be instantiated with
148	148	// the `'closure_env` region provided to the associated type.
	149	+#[cfg_attr(not(bootstrap), lang = "async_fn_kind_upvars")]
149	150	type Upvars<'closure_env, Inputs, Upvars, BorrowedUpvarsAsFnPtr>;
150	151	}
151	152	}