(load-time-value (cons t t)))
(test-util:with-test (:name (load-time-value :type-smartness/cload))
(assert (eq 'cons (load-time-value-type-derivation-test-1)))
(load-time-value (cons t t)))
(test-util:with-test (:name (load-time-value :type-smartness/cload))
(assert (eq 'cons (load-time-value-type-derivation-test-1)))