Some specialized class instances are not inlined properly.

[YarinHeffes]

As far as I can tell, the specialized methods == and + are implemented according to the same pattern for complex floats. However only the specialized == is inlined as expected.

COALTON-USER> (coalton-toplevel
                (define x (lisp (Complex Double-Float) () #C(1.0d0 2.0d0)))
                (define y (lisp (Complex Double-Float) () #C(3.0d0 3.0d0))))
; No value
COALTON-USER> (coalton-codegen-types
                (monomorphize) (define z (+ x y))
                (monomorphize) (define p (== x y)))
(COMMON-LISP:PROGN
 (COMMON-LISP:DECLAIM
  (SB-EXT:MUFFLE-CONDITIONS SB-KERNEL:REDEFINITION-WARNING))
 (COALTON-IMPL/GLOBAL-LEXICAL:DEFINE-GLOBAL-LEXICAL P COMMON-LISP:BOOLEAN)
 (COMMON-LISP:SETF P
                     (COMMON-LISP:LET ((#:B-11129489 Y))
                       (COMMON-LISP:DECLARE
                        (COMMON-LISP:IGNORABLE #:B-11129489))
                       (COMMON-LISP:LET ((#:A-11119488 X))
                         (COMMON-LISP:DECLARE
                          (COMMON-LISP:IGNORABLE #:A-11119488))
                         (COMMON-LISP:LET ((#:A-11529493 #:A-11119488))
                           (COMMON-LISP:DECLARE
                            (COMMON-LISP:IGNORABLE #:A-11529493))
                           (COMMON-LISP:LET ((#:B-11539494 #:B-11129489))
                             (COMMON-LISP:DECLARE
                              (COMMON-LISP:IGNORABLE #:B-11539494))
                             (COMMON-LISP:THE
                              (COMMON-LISP:VALUES COMMON-LISP:BOOLEAN
                                                  COMMON-LISP:&OPTIONAL)
                              (COMMON-LISP:LET ((COALTON-LIBRARY/MATH/COMPLEX::B
                                                 #:B-11539494)
                                                (COALTON-LIBRARY/MATH/COMPLEX::A
                                                 #:A-11529493))
                                (COMMON-LISP:DECLARE
                                 (COMMON-LISP:TYPE
                                  (COMMON-LISP:COMPLEX
                                   COMMON-LISP:DOUBLE-FLOAT)
                                  COALTON-LIBRARY/MATH/COMPLEX::A
                                  COALTON-LIBRARY/MATH/COMPLEX::B))
                                (COMMON-LISP:VALUES
                                 (COMMON-LISP:= COALTON-LIBRARY/MATH/COMPLEX::A
                                                COALTON-LIBRARY/MATH/COMPLEX::B)))))))))
 (COMMON-LISP:SETF (COMMON-LISP:DOCUMENTATION 'P 'COMMON-LISP:VARIABLE)
                     "P :: BOOLEAN")
 (COALTON-IMPL/GLOBAL-LEXICAL:DEFINE-GLOBAL-LEXICAL Z
                                                    (COMMON-LISP:COMPLEX
                                                     COMMON-LISP:DOUBLE-FLOAT))
 (COMMON-LISP:SETF Z
                     (COMMON-LISP:LET ((#:B-11149492 Y))
                       (COMMON-LISP:DECLARE
                        (COMMON-LISP:IGNORABLE #:B-11149492))
                       (COMMON-LISP:LET ((#:A-11139491 X))
                         (COMMON-LISP:DECLARE
                          (COMMON-LISP:IGNORABLE #:A-11139491))
                         (COALTON-LIBRARY/MATH/COMPLEX::COMPLEX-PLUS
                          COALTON-LIBRARY/MATH/COMPLEX::|INSTANCE/COMPLEX DOUBLE-FLOAT|
                          #:A-11139491 #:B-11149492))))
 (COMMON-LISP:SETF (COMMON-LISP:DOCUMENTATION 'Z 'COMMON-LISP:VARIABLE)
                     "Z :: (COMPLEX DOUBLE-FLOAT)")
 (COMMON-LISP:DECLAIM
  (SB-EXT:UNMUFFLE-CONDITIONS SB-KERNEL:REDEFINITION-WARNING))
 (COMMON-LISP:VALUES))