Skip to main content
Module is_future
dada_
ir_
sym
0.1.0
Module is_
future
Module Items
Functions
In dada_
ir_
sym::
check::
subtype
dada_ir_sym
::
check
::
subtype
Module
is_
future
Copy item path
Source
Functions
ยง
require_
future_
red_
type
๐
require_
future_
type
Requires that
ty
resolves to a future type that awaits a value of type
awaited_ty
.