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

checker: cleanup comments 

Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com>
pull/13974/head
Vincenzo Palazzo 2022-04-13 13:54:17 +02:00
parent 579ac32cce
commit 7d7899a6ca
No known key found for this signature in database
GPG Key ID: 8B6DC2B870B80D5F
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
vlib/v/ast/table.v
View File

@ -1317,11 +1317,10 @@ fn (t &Table) sumtype_check_aggregate_variant(parent_type Type, aggregate_type &
fn (t &Table) sumtype_check_alias_variant(parent_type Type, alias_type Type, is_as bool) bool { fn (t &Table) sumtype_check_alias_variant(parent_type Type, alias_type Type, is_as bool) bool {
parent_sym := t.sym(parent_type).info as SumType parent_sym := t.sym(parent_type).info as SumType
if !t.sumtype_check_variant_in_type(parent_sym, alias_type, is_as) { if !t.sumtype_check_variant_in_type(parent_sym, alias_type, is_as) {
// the alias is not inside one of the Sum type, like
// https://github.com/vlang/v/issues/13863
alias_info := t.sym(alias_type).info as Alias alias_info := t.sym(alias_type).info as Alias
// The alias is an alias or of the same type of the parent or one // The alias is an alias or of the same sumtype parent, or one
// of the SumType variant. e.g: alias of another sum type // of the SumType variant. e.g: alias of another sum type.
// https://github.com/vlang/v/issues/14029
return parent_type == alias_info.parent_type return parent_type == alias_info.parent_type
|| t.sumtype_has_variant(parent_type, alias_info.parent_type, is_as) || t.sumtype_has_variant(parent_type, alias_info.parent_type, is_as)
} }