chore!: Require types of globals to be specified#6592

Merged

michaeljklein merged 6 commits intomasterfrom michaeljklein/require-global-type

Nov 22, 2024

+251-102

Commits on Nov 22, 2024

require global types to be specified, add error that's thrown when unspecified and is_unspecified check for UnresolvedType(Data), update tests and add new unit tests for this behavior
michaeljklein
committed
Merge branch 'master' into michaeljklein/require-global-type
michaeljklein
authored
add types to globals in test_programs/benchmark
michaeljklein
committed
Merge branch 'master' into michaeljklein/require-global-type
michaeljklein
authored
use 'contains_unspecified' instead of is_unspecified to recursively check for Unspecified, update tests, move WILDCARD_TYPE to ast/statements where it's now used with Path
michaeljklein
committed
update UnspecifiedGlobalType error message, annotate types in dependency cycle test
michaeljklein
committed