Comment Comment by __vec__ The difference is an informative error message at compile time when such fails to satisfy the 'refinement' parent __vec__ 3 years ago