diff --git a/vlib/v/checker/checker.v b/vlib/v/checker/checker.v index c5d31bfb2c..eeee14c1b6 100644 --- a/vlib/v/checker/checker.v +++ b/vlib/v/checker/checker.v @@ -4592,6 +4592,9 @@ pub fn (mut c Checker) array_init(mut node ast.ArrayInit) ast.Type { c.ensure_sumtype_array_has_default_value(node) } c.ensure_type_exists(node.elem_type, node.elem_type_pos) or {} + if node.typ.has_flag(.generic) && c.table.cur_fn.generic_names.len == 0 { + c.error('generic struct cannot use in non-generic function', node.pos) + } return node.typ } if node.is_fixed { diff --git a/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.out b/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.out new file mode 100644 index 0000000000..6369d613bb --- /dev/null +++ b/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.out @@ -0,0 +1,6 @@ +vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.vv:5:7: error: generic struct cannot use in non-generic function + 3 | + 4 | fn main() { + 5 | _ := []Example{} + | ~~~~~~~~~~~~~ + 6 | } diff --git a/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.vv b/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.vv new file mode 100644 index 0000000000..30933350fb --- /dev/null +++ b/vlib/v/checker/tests/generics_struct_in_non_generic_fn_err.vv @@ -0,0 +1,6 @@ +struct Example { +} + +fn main() { + _ := []Example{} +}