Function type_of_block 

pub fn type_of_block(
    block: &Block,
    expected: Option<&Ty>,
    ctx: &mut Ctx<'_>,
) -> Option<Ty>