issues
search
lcnr
/
solver-woes
Documenting changes due to the the new trait solver and my worries about stabilization
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
uniquification
#17
lcnr
opened
1 year ago
0
might not track subtyping relations between infer vars for the occurs check
#16
lcnr
opened
1 year ago
0
alias-relate can hide info in transitive cases
#15
lcnr
closed
1 year ago
2
arbitrarily choosing candidates for trait goals
#14
lcnr
closed
1 year ago
1
Alias-relate goals emitted by generalizer weakens inference
#13
compiler-errors
closed
1 year ago
1
unnormalized projections in writeback may contain infer vars
#12
lcnr
opened
1 year ago
6
generalizing projections is sus
#11
lcnr
closed
1 year ago
1
are object bounds sound?
#10
compiler-errors
closed
1 year ago
3
alias bound is unsound
#9
lcnr
closed
1 year ago
3
alias bound is more powerful
#8
lcnr
opened
1 year ago
0
using impls with higher ranked projections not normalizeable before matching the impl header
#7
lcnr
closed
1 year ago
1
replacing the new solver with yet another solver will be hard
#6
lcnr
opened
1 year ago
0
extending the existing solver may worsen the transition
#5
lcnr
opened
1 year ago
0
imcomplete projection candidate selection for trait objects
#4
lcnr
closed
5 months ago
1
projection obligations were accepted in - otherwise coinductive - global cycles
#3
lcnr
closed
1 year ago
1
incomplete unification of higher ranked projection substs
#2
lcnr
closed
1 year ago
1
performance regressions after stabilization
#1
lcnr
opened
1 year ago
0