|Posted by Bolpat||PermalinkReply|
--- Comment #1 from Bolpat <firstname.lastname@example.org> ---
Regular (greedy) `with` is unusable in generic code when the `with`ed type or expression is unknown. Greedy `with` can shadow any local identifier, which – I’d boldly claim – is *never* intended.
`lazy with` on the other hand will never make an identifier visible in your scope mean something else. Use-cases in generic code are still rare, but when the `with`ed type or expression is required/expected to provide *some* specific members, it can be used.