Missing type feedback for user code under debug entries (e.g. bindings under pattern match cases)

I only noticed this recently when fixing the spurious type feedback from entry ids. No idea what's the cause, maybe it will resolve itself?... Not putting a milestone on this as I don't know how to address it.