unsafe variable declaring check is unnecessary for function local aggregate members