For a type T
if and only if the variable definition
is well-formed for some invented variable t
otherwise it is false.
Access checking is performed as if in a context unrelated to T.
Only the validity of the immediate context of the variable initialization is considered.