Enabling the next-generation trait solver on nightly

29 points by jana

lonjil

Woohoo

and enable us to fix the remaining type system unsoundnesses.

hell yeah

jado

i wish the new solver performance plot showed 2x - 0.5x on the y axis so the perf change for those releases is easier to read (or it was another plot next to that 16x-0.125x plot).

otherwise awesome work!!

jana

I'll make one for you! I'll put it in my blog post in an hour or two when I'm home at my computer :) I've got all the data ready!
- jado
  
  thanks!!
gignico

Didn’t they recently enable the new borrow checker in nightly as well? The next few releases will be very interesting
- jana
  
  Correct! Both experiments are going on simultaneously right now, and both are some very long standing projects (3+ years)!
  - gignico
    
    Seems awesome! :D
- mond
  
  So... are there going to be any trait-related soundness issues left after this?
  
  (I say trait-related, since I expect that llvm's handling of pointer provenance is still broken.)
  - jana
    
    The blog post references project 0, and the goal is that no, we won't. At least none of the currently known ones. Formally verifying the soundness is another step, which might at some point be happening too.