Re: [GHC] #12603: INLINE and manually inlining produce different code