Inform hole substitutions of typeclass constraints (fixes #14273).