Skip to content

DmdAnal: Make `prompt#` lazy (#25439)

Sebastian Graf requested to merge wip/T25439 into master

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

Fixes #25439 (closed).

Edited by Sebastian Graf

Merge request reports