Fixup: Update `Structs with both @lazy and non-lazy properties crashes compiler` for Beta 4.