Implicitly tags (at compile-time) a value of type T
with P
if t
satisfies the predicate P
.
Implicitly tags (at compile-time) a value of type T
with P
if t
satisfies the predicate P
. If it does not satisfy the predicate,
compilation fails.