3 ms·The difference is an informative error message at compile time when such fails to satisfy the 'refinement'by __vec__ 3y agoThe difference is an informative error message at compile time when such fails to satisfy the 'refinement'