I know @TypeOf in unnature sometimes, but I'm not sure if consistency should made here

Should T1 == T2 in the following code? const E = error {A, B}; fn foo(b: bool) E!noreturn { return if (b) E.A else while (true) {}; } var c = false; pub fn main() void { const T1 = @TypeOf( foo(c) ); const T2 = @TypeOf( if (c) E.A else while (true) {} ); const T3 = @TypeOf( if (c) E.A else error.C ); @import("std").debug.print( \\{} \\{} \\{} \\ , .{ T1, // error{A,...