Function walkabout::ir::analyze_type

fn analyze_type(ty: &Type) -> Result<Type>