Skip to content

Conversation

cristianoc
Copy link
Collaborator

Fixes #6253

@cristianoc cristianoc force-pushed the inline_record_coercion branch from 5d6c344 to 2bff632 Compare May 16, 2023 03:50
@cristianoc cristianoc requested a review from zth May 16, 2023 03:50
Copy link
Member

@zth zth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice fix!

@cristianoc cristianoc merged commit fc6df1d into master May 16, 2023
@cristianoc cristianoc deleted the inline_record_coercion branch May 16, 2023 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Problem with record coercion and inlining
2 participants