Sebastian Graf authored Nov 04, 2024 and Ben Gamari committed Nov 13, 2024

This applies the same treatment to `prompt#` as for `catch#`.
See `Note [Strictness for mask/unmask/catch/prompt]`.

Fixes #25439.

(cherry picked from commit 00d58ae1)