Init: explores the legality of array declarations of incomplete type
Init: incomplete (only finished type parser)