From 808d1fbe5b27b35f3a463569f665499579dd904b Mon Sep 17 00:00:00 2001 From: Lukas Rytz Date: Mon, 1 May 2023 16:02:27 +0200 Subject: [PATCH] Restore test fixed by recent Java-sealed PR --- test/files/neg/t12159.check | 9 ++++++--- test/files/neg/t12159/s.scala | 2 -- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/test/files/neg/t12159.check b/test/files/neg/t12159.check index 178017725d11..bda2e48622ce 100644 --- a/test/files/neg/t12159.check +++ b/test/files/neg/t12159.check @@ -1,4 +1,7 @@ -s.scala:11: error: not found: type ZZ -class Z extends ZZ // fail compile: remove when source flags are restored +s.scala:5: error: illegal inheritance from sealed class H +class S extends H { ^ -1 error +s.scala:8: error: illegal inheritance from sealed trait I +trait T extends I { + ^ +2 errors diff --git a/test/files/neg/t12159/s.scala b/test/files/neg/t12159/s.scala index 58a01877e3c3..b8ec52070d07 100644 --- a/test/files/neg/t12159/s.scala +++ b/test/files/neg/t12159/s.scala @@ -7,5 +7,3 @@ class S extends H { trait T extends I { } - -class Z extends ZZ // fail compile: remove when source flags are restored