Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Treat implicit by-name arguments as lazy values | Martin Odersky | 2017-02-17 | 1 | -0/+1 |
With the previous rules, the two test cases produce a diverging implicit expansion. We avoid this by creating for every implicit by-name argument of type T a lazy implicit value of the same type. The implicit value is visible for all nested implicit searches of by-name arguments. That way, we tie the knot and obtain a recursive lazy value instead of a diverging expansion. |