Search results

uniquification

Status: Open.

#17 In lcnr/solver-woes;

· lcnr opened on Apr 12, 2023

might not track subtyping relations between infer vars for the occurs check

Status: Open.

#16 In lcnr/solver-woes;

· lcnr opened on Apr 12, 2023

unnormalized projections in writeback may contain infer vars

A-deferred-projection-equality

S-breaking-change

S-fear

Status: Open.

#12 In lcnr/solver-woes;

· lcnr opened on Mar 23, 2023

alias bound is more powerful

A-deferred-projection-equality

S-increased-expressiveness

Status: Open.

#8 In lcnr/solver-woes;

· lcnr opened on Feb 17, 2023

replacing the new solver with yet another solver will be hard

S-breaking-change

S-fear

Status: Open.

#6 In lcnr/solver-woes;

· lcnr opened on Feb 17, 2023

extending the existing solver may worsen the transition

S-breaking-change

S-fear

Status: Open.

#5 In lcnr/solver-woes;

· lcnr opened on Feb 17, 2023

performance regressions after stabilization

A-performance

S-fear

Status: Open.

#1 In lcnr/solver-woes;

· lcnr opened on Feb 17, 2023