Check if we just wrote a DotLambda on a record value before deciding …

Check if we just wrote a DotLambda on a record value before deciding … #3441