Skip to main content

Module narrowing

Module narrowing 

Source

Functionsยง

narrow_from_condition
Narrow the types in ctx as if expr evaluates to is_true.