diff options
Diffstat (limited to 'test/files/neg/t7636-neg.check')
-rw-r--r-- | test/files/neg/t7636-neg.check | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/files/neg/t7636-neg.check b/test/files/neg/t7636-neg.check new file mode 100644 index 0000000000..f70d50bee3 --- /dev/null +++ b/test/files/neg/t7636-neg.check @@ -0,0 +1,10 @@ +t7636.scala:3: error: illegal inheritance; + self-type Main.C does not conform to Main.ResultTable[_$3]'s selftype Main.ResultTable[_$3] + class C extends ResultTable(Left(5):Either[_,_])(5) + ^ +t7636.scala:3: error: type mismatch; + found : Either[_$2,_$3(in constructor C)] where type _$3(in constructor C), type _$2 + required: Either[_, _$3(in object Main)] where type _$3(in object Main) + class C extends ResultTable(Left(5):Either[_,_])(5) + ^ +two errors found |