Function is_never_block 

pub(crate) fn is_never_block(
    sema: &Semantics<'_, RootDatabase>,
    block_expr: &BlockExpr,
) -> bool