checker: allow for f() or { T{} } part 2, see also cc55aa5 (handle the case of an ignored result as well) (#22687)

Author: spytheman

vlib/v/checker/checker.v

@@ -1472,6 +1472,9 @@ fn (mut c Checker) check_or_last_stmt(mut stmt ast.Stmt, ret_type ast.Type, expr
 						return
 					}
 				}
+				if expr_return_type.has_flag(.generic) {
+					return
+				}
 				// opt_returning_string() or { ... 123 }
 				type_name := c.table.type_to_str(stmt.typ)
 				expr_return_type_name := c.table.type_to_str(expr_return_type)

vlib/v/tests/generics/generic_default_expression_in_or_block_test.v

@@ -16,6 +16,7 @@ fn (mut s St[T]) peek_or_default() T {
 }
 
 fn (mut s St[T]) push(e T) {
+	s.peek() or { T{} }
 	x := s.peek() or { T{} } // this is deliberate
 	$if x is $array {
 		dump(x)