Skip to content
Snippets Groups Projects
Commit d2be80fd authored by Sebastian Graf's avatar Sebastian Graf Committed by Marge Bot
Browse files

DmdAnal: Don't panic in addCaseBndrDmd (#22039) 

Rather conservatively return Top.
See Note [Untyped demand on case-alternative binders].

I also factored `addCaseBndrDmd` into two separate functions `scrutSubDmd` and
`fieldBndrDmds`.

Fixes #22039.
parent 7f527f01
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment