diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-02 17:14:41 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-12-02 20:47:47 +0100 |
commit | a89000be9f5b6506bcd891bd076700a9d1e79d01 (patch) | |
tree | 09e0b70eba2c07d0ab00eb3704ad6d0533c2f315 /test/files/neg/gadts1.scala | |
parent | 073ebbd20ce9775260b83a78ecf9ed6a3e6d3d9e (diff) | |
download | scala-a89000be9f5b6506bcd891bd076700a9d1e79d01.tar.gz scala-a89000be9f5b6506bcd891bd076700a9d1e79d01.tar.bz2 scala-a89000be9f5b6506bcd891bd076700a9d1e79d01.zip |
SI-8023 Fix symbol-completion-order type var pattern bug
Removing the `isComplete` check altogether leads to cycles in,
for instatnce, F-bound type parameters:
trait LSO[+A, +Repr <: LSO[A, Repr]] // error: illegal cyclic reference involving type Repr
But, I believe that we can (and must) eagerly initialize the type
parameter symbols if we are typechecking a pattern.
While this appeared to regress in 2.11.x, but the problem was in fact
dormant and was merely uncovered in the fix for SI-7756, 3df1d77fc.
Diffstat (limited to 'test/files/neg/gadts1.scala')
0 files changed, 0 insertions, 0 deletions