Skip to content

Simplifier: Consider `seq` as a `BoringCtxt` (#22317)

Sebastian Graf requested to merge wip/T22317 into master

See Note [Seq is boring] for the rationale.

Fixes #22317.

Merge request reports