full call to sb-kernel:%ash/right

[Paul F. Dietz]

(perhaps related to 1720857)

(lambda (p1 p2)
  (declare (type (satisfies eval) p1))
  (ash (the (member 1 1/2) p1)
       (the (rational -2 47/97) p2)))

==>

full call to SB-KERNEL:%ASH/RIGHT
[...]
  0: (SB-INT:BUG "full call to ~S" SB-KERNEL:%ASH/RIGHT)
  1: (SB-C::PONDER-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-KERNEL:%ASH/RIGHT :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND..
  2: (SB-C::IR2-CONVERT-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-KERNEL:%ASH/RIGHT :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED ..
[...]

[Paul F. Dietz (paul-f-dietz)]

Another example, same failure:

(lambda (p1 p2)
  (declare (type (member 1883797550603 1879215706449) p1))
  (ash (the (satisfies eval) p1) (the (rational * 0) p2)))

[Stas Boukarev (stassats)]

7dff56237bfab7cdf09b8ddbc517e855fe9f7ce3