fix handling of lazy annotations in records#141

skogsbaer merged 1 commit intomasterskogsbaer/write-your-python-program:masterfrom

sw/fix-recordskogsbaer/write-your-python-program:sw/fix-recordCopy head branch name to clipboard