fn is_pure_with_inherited_val(c: &Context, ctxs: &Option<ast::Contexts>) -> bool {
    match ctxs {
        Some(_) => is_pure(ctxs),
        None => c.is_pure,
    }
}
// This distinguishes between specified not-pure contexts and unspecified contexts (both of which are not pure).
// The latter is important because for e.g. lambdas without contexts, they should inherit from enclosing functions.
This distinguishes between specified not-pure contexts and unspecified contexts (both of which are not pure).
The latter is important because for e.g. lambdas without contexts, they should inherit from enclosing functions.
This distinguishes between specified not - pure contexts and unspecified contexts ( both of which are not pure ) . The latter is important because for e . g . lambdas without contexts they should inherit from enclosing functions .
fn is_pure_with_inherited_val(c: &Context, ctxs: &Option<ast::Contexts>) -> bool {
    match ctxs {
        Some(_) => is_pure(ctxs),
        None => c.is_pure,
    }
}
fn is_pure_with_inherited_val ( c : & Context , ctxs : & Option < ast :: Contexts > ) -> bool { match ctxs { Some ( _ ) => is_pure ( ctxs ) , None => c . is_pure , } }
This distinguishes between specified not-pure contexts and unspecified contexts (both of which are not pure).
This distinguishes between specified not - pure contexts and unspecified contexts ( both of which are not pure ) .
c
&Context
ctxs
&Option<ast::Contexts>
c
&Context
ctxs
&Option<ast::Contexts>