Trying to initialise a struct with a sorted Vector

[Vasily_Pisarev]

What is the output of

@which Restorable(0.8, [(1.0, 0.2), (0.7, 0.5)], [(1.0, 0.3), (0.3, 0.1)])

?

I suspect it calls the inner constructor, not the outer, hence no sorting applied.