If a variable has a member or element with checked pointer type that may be used to access memory, it must be initialized when declared. We currently aren't checking this. We are checking that variables that have check pointer types that may be used to access memory have initializers.
If a variable has a member or element with checked pointer type that may be used to access memory, it must be initialized when declared. We currently aren't checking this. We are checking that variables that have check pointer types that may be used to access memory have initializers.