Skip to content

Respect -XStrict in the pattern-match checker (#21761)

Sebastian Graf requested to merge wip/T21761 into master

We were missing a call to decideBangHood in the pattern-match checker. Unfortunately the ones in mk_eqn_info happen after the pattern-match checker on the match has run and there is a conflicting data dependency for long-distance information.

Fixes #21761 (closed).

Merge request reports