spade_
typeinference
0.13.0
In spade_
typeinference::
expression
spade_typeinference
::
expression
Macro
assuming_kind
Copy item path
Source
macro_rules! assuming_kind { ($pattern:pat = $expr:expr => $block:block) => { ... }; }