| [#1224] | project: compiler | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Nikolay | Martin | fixed | 2007-07-18 14:34:00.0 | |
| subject | [contrib #697] Scala compiler hangs on recurring generics | |||
| code |
trait C[T] {}
abstract class A {
type T >: C[T] <: C[C[T]]
} |
|||
| what happened | Compiler hangs |
|||
| what expected | Compiler does not hang | |||
| [back to overview] | ||||
| Nikolay edited on 2007-07-18 14:36:02.0 |
| Very interesting. The compiler really loops on that. I waited for 15min before I Ctrl-C-ed it |
| Martin edited on 2007-07-19 13:46:14.0 |
| The problem was that the F-bounded lower bound (which is illegal) was not detected. You now get: bug1224.scala:4: error: cyclic aliasing or subtyping involving type T type T >: C[T] <: C[C[T]] ^ |