Skip to main content

Module is_future

dada_ir_sym::check::subtype

Module is_future 

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.