From 92689a38afb254681a062048c7299c12ab3a32b9 Mon Sep 17 00:00:00 2001 From: Isaac Levy Date: Mon, 14 Oct 2024 17:56:55 -0400 Subject: [PATCH] Fix grammar --- core/src/main/scala/newtypes.scala | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/main/scala/newtypes.scala b/core/src/main/scala/newtypes.scala index 513a90b..2fe6d8f 100644 --- a/core/src/main/scala/newtypes.scala +++ b/core/src/main/scala/newtypes.scala @@ -13,9 +13,9 @@ import alleycats.Zero // // Details: The classes use witnesses to ensure type compatibility. However, in order to completely inline // simple methods like `<` (OpaqueInt), we cannot use the witness, and instead "cast" using asInstanceOf. -// during compile scala3 (as of now) detects and redundant casts when using asInstanceOf, but it does *not* -// detect or remove witness casts. So, when using asInstanceOf, types are completely elided, but not so with -// witnesses. This is especially problematic for methods marked with `inline` which are expected to be small. +// During compilation, scala3 detects and removes redundant casts when using asInstanceOf, but it does *not* +// detect or remove redudant witness casts. So, when using asInstanceOf, types are completely elided, but not +// so with witnesses. This is especially problematic for methods marked `inline` which should be small. // // The challenge for you, dear coder, when writing new code, either in this file or in a subclass, is that // you can accidentally rely on a witness cast, because scala will happily use a witness implicitly.