note a small diagnostic regression
the way these diagnostics were added seems to have been through score hacking
and I haven't been able to get the behavior back since introducing the
copyable type constraint for generics. I've logged restoring this as a TODO
to take care of sometime later when I have more time.