The compiler doesn't look into what `lazy {}` does...

# announcements

[karelpeeters]

The compiler doesn't look into what lazy {} does behind the scenes, so it might randomly decide to return another type of instance.