Pretty alignment and check file showing message

scala · Jan 3, 2024 · 14e0f90 · 14e0f90
1 parent bff12be
commit 14e0f90
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/reporting/Message.scala b/compiler/src/dotty/tools/dotc/reporting/Message.scala
@@ -176,8 +176,7 @@ object Message:
         case param: TypeParamRef => ctx.typerState.constraint.contains(param)
         case param: ParamRef     => false
         case skolem: SkolemType  => true
-        case sym: Symbol         =>
-          ctx.gadt.contains(sym) && ctx.gadt.fullBounds(sym) != TypeBounds.empty
+        case sym: Symbol         => ctx.gadt.contains(sym) && ctx.gadt.fullBounds(sym) != TypeBounds.empty
       }
 
       val toExplain: List[(String, Recorded)] = seen.toList.flatMap { kvs =>

diff --git a/tests/neg/i19334.check b/tests/neg/i19334.check
@@ -0,0 +1,12 @@
+-- [E081] Type Error: tests/neg/i19334.scala:6:4 -----------------------------------------------------------------------
+6 |  f(_) // error was OOM formatting TypeVar(TypeParamRef(T)) when offering explanations
+  |    ^
+  |    Missing parameter type
+  |
+  |    I could not infer the type of the parameter _$1
+  |    in expanded function:
+  |      _$1 => f(_$1)
+  |    Expected type for the whole anonymous function:
+  |      T
+  |
+  |    where:    T is a type variable