Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ProtoTypes#wildApprox: fix LazyRef approximation | Guillaume Martres | 2016-02-18 | 1 | -0/+5 |
Before this commit, the output of `wildApprox(A)` where `A <: Sys[LazyRef(A)]` was `? <: Sys[LazyRef(() => wildApprox(A))]`. This lead to infinite subtyping checks. This is fixed by always approximating a LazyRef by an unbounded wildcard. Since we only create LazyRefs when we encounter a cycle, this should be safe. Fix #1103. |