Resume reporting incomplete pattern matches for record updates

They were being inadvertently suppressed, even if you said -fwarn-incomplete-record-updates

See Trac #5728
Don't require ConstraintKinds at usage sites (Trac #9838)