Skip to content
Snippets Groups Projects
Commit f2fcc3d5 authored by Apoorv Ingle's avatar Apoorv Ingle
Browse files

Constraint simplification loop now depends on `ExpansionFuel` 

instead of a boolean flag for `CDictCan.cc_pend_sc`.
Pending givens get a fuel of 3 while Wanted and quantified constraints get a fuel of 1.
This helps pending given constraints to keep up with pending wanted constraints in case of
`UndecidableSuperClasses` and superclass expansions while simplifying the infered type.

Adds 3 dynamic flags for controlling the fuels for each type of constraints
`-fgivens-expansion-fuel` for givens `-fwanteds-expansion-fuel` for wanteds and `-fqcs-expansion-fuel` for quantified constraints

Fixes #21909
Added Tests T21909, T21909b
Added Note [SimplifyInfer and UndecidableSuperClasses]
parent c6a967d9
No related branches found
No related tags found
No related merge requests found
Pipeline #63637 failed
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Hide whitespace changes
            Inline Side-by-side
            Showing
            with 280 additions and 92 deletions
            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