Merged revisions 22978-22979 via svnmerge from

https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk

........
  r22978 | moors | 2010-09-14 14:15:35 +0200 (Tue, 14 Sep 2010) | 3 lines

  closes #3692: make instantiateTypeVar more careful so it does not
change T's info to >: T <: T.

  review by odersky
........
  r22979 | moors | 2010-09-14 14:37:50 +0200 (Tue, 14 Sep 2010) | 10 lines

  closes #3612. relaxed self-type conformance check slightly by
comparing the self types instead of the self-type symbols, which are
trivially different when you introduce a self variable without giving it
a type

  given the definitions below (for full context, see test file), before,
O0 would work but O would not, now both are accepted:

  {{{
  object O0 extends C {}
  object O extends C { self => }
  }}}

  review by odersky
........

0 files changed, 0 insertions, 0 deletions