more precise err

ascandone · ascandone · commit ad44569ba3a2 · 2024-08-07T09:42:24.000+02:00
diff --git a/analysis/check.go b/analysis/check.go
@@ -407,7 +407,7 @@ func (res *CheckResult) checkSource(source parser.Source) {
 			})
 		}
 
-		if _, emptied := res.emptiedAccount[source.Name]; emptied {
+		if _, emptied := res.emptiedAccount[source.Name]; emptied && source.Name != "world" {
 			res.Diagnostics = append(res.Diagnostics, Diagnostic{
 				Kind:  &EmptiedAccount{Name: source.Name},
 				Range: source.Range,

Original file line number	Diff line number	Diff line change
`@@ -407,7 +407,7 @@ func (res *CheckResult) checkSource(source parser.Source) {`
`407`	`407`	`})`
`408`	`408`	`}`
`409`	`409`
`410`		`- if _, emptied := res.emptiedAccount[source.Name]; emptied {`
	`410`	`+ if _, emptied := res.emptiedAccount[source.Name]; emptied && source.Name != "world" {`
`411`	`411`	`res.Diagnostics = append(res.Diagnostics, Diagnostic{`
`412`	`412`	`Kind: &EmptiedAccount{Name: source.Name},`
`413`	`413`	`Range: source.Range,`