vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

checker: add error for invalid sum type cast `MySt{1}`

pull/5998/head
joe-conigliaro 2020-07-28 01:04:04 +10:00
parent 2de1437a1e
commit 61c1c4a690
No known key found for this signature in database
GPG Key ID: C12F7136C08206F1
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vlib/v/checker/checker.v
View File

@ -358,6 +358,11 @@ pub fn (mut c Checker) struct_init(mut struct_init ast.StructInit) table.Type {
struct_init.typ = c.expected_type struct_init.typ = c.expected_type
} }
type_sym := c.table.get_type_symbol(struct_init.typ) type_sym := c.table.get_type_symbol(struct_init.typ)
if type_sym.kind == .sum_type && struct_init.fields.len == 1 {
sexpr := struct_init.fields[0].expr.str()
c.error('cast to sum type using `${type_sym.name}($sexpr)` not `$type_sym.name{$sexpr}`',
struct_init.pos)
}
if type_sym.kind == .interface_ { if type_sym.kind == .interface_ {
c.error('cannot instantiate interface `$type_sym.name`', struct_init.pos) c.error('cannot instantiate interface `$type_sym.name`', struct_init.pos)
} }