Could borrow checking with origins unblock sound specialization

Serhii: > The trait solver and codegen see the same information. There's no "abstract during checking, concrete during codegen" split for origins. I see no mention of this in Niko's blogpost and non reason why it would be the case.