diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala index a4b3adbb7a00..7e256dec2f4b 100644 --- a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala +++ b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala @@ -4467,4 +4467,4 @@ object Parsers { (EmptyValDef, List(EmptyTree)) } } -} +} \ No newline at end of file diff --git a/tests/pos/i21769.scala b/tests/pos/i21769.scala new file mode 100644 index 000000000000..ad4194d4217d --- /dev/null +++ b/tests/pos/i21769.scala @@ -0,0 +1,10 @@ + +infix trait as[From, To] + +val conv: (String as Int) = ??? +given instance: (String as Int) = ??? +def test(ev: (String as Int)) = ??? + +class F + +class K extends (F as K)