From 20caac2baca22cd3cb71a7f21da5703e4ca6f09a Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 22 Aug 2007 13:46:38 +0000 Subject: fixed 1275 by adding minimal early check to Nam... fixed 1275 by adding minimal early check to Namers so that overriding of type members in refinements cannot change number of type parameters (in principle the full overriding checks should be performed at a later point, when they don't cause cyclicity errors -- this is TODO) --- test/files/neg/bug1275.check | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/neg/bug1275.check (limited to 'test/files/neg/bug1275.check') diff --git a/test/files/neg/bug1275.check b/test/files/neg/bug1275.check new file mode 100644 index 0000000000..6ff92a7823 --- /dev/null +++ b/test/files/neg/bug1275.check @@ -0,0 +1,4 @@ +bug1275.scala:13: error: The kind of type MyType does not conform to the expected kind of type MyType[+t] <: TestCovariance.this.Seq[t] in trait Seq. + def span[a, s <: Seq[a] { type MyType <: s } ](xs: s): s = xs f + ^ +one error found -- cgit v1.2.3