search

lcnr / solver-woes

Documenting changes due to the the new trait solver and my worries about stabilization
4 stars 0 forks source link

alias bound is more powerful #8

Open lcnr opened 1 year ago

lcnr commented 1 year ago

TODO: figure out how this impacts type inference and what not