This check ensures that the object in exp can have its address taken, or issue a diagnostic error.
expression to check
context
true if the expression is addressable
See Implementation
This check ensures that the object in exp can have its address taken, or issue a diagnostic error.