From a10396cb2521526ca0f363170c461cc3cda6be71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Fromentin?=
 <42907886+Iltotore@users.noreply.github.com>
Date: Mon, 15 Jan 2024 17:36:31 +0100
Subject: [PATCH] fix: Remove obsolete paragraph about `RefinedTypeOpsImpl`.
 (#208)

Closes #201
---
 docs/_docs/reference/newtypes.md | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/docs/_docs/reference/newtypes.md b/docs/_docs/reference/newtypes.md
index bb6606e0..47b201b0 100644
--- a/docs/_docs/reference/newtypes.md
+++ b/docs/_docs/reference/newtypes.md
@@ -228,13 +228,6 @@ val a: Temperature = value //Compile-time error
 val b: Temperature = Temperature(value) //OK
 ```
 
-Note: due to a [compiler bug](https://github.com/lampepfl/dotty/issues/17984), incremental/cross-module compilation can fail.
-[An easy workaround](https://github.com/Iltotore/iron/issues/131#issuecomment-1614974318) but with more boilerplate is
-to use `RefinedTypeOpsImpl[A, C, T]` where:
-- `A` is the base type
-- `C` is the constraint type
-- `T` is the type alias
-
 ### Inheriting base type
 
 Assuming the following new type: