- ;; constraints that hold in this block and its successors by merit
- ;; of being tested by its IF predecessors.
- (test-constraint nil :type (or sset null)))
+ ;; what macroexpansions happened "in" this block, used for xref
+ (macroexpands nil :type list)
+ ;; Cache the physenv of a block during lifetime analysis. :NONE if
+ ;; no cached value has been stored yet.
+ (physenv-cache :none :type (or null physenv (member :none))))