Skip to content

Fix AlgebraicTypeLayout::is_compatible_with#2932

Merged
Centril merged 1 commit into
masterfrom
centril/fix-is_compatible_with
Jul 11, 2025
Merged

Fix AlgebraicTypeLayout::is_compatible_with#2932
Centril merged 1 commit into
masterfrom
centril/fix-is_compatible_with

Conversation

@Centril
Copy link
Copy Markdown
Contributor

@Centril Centril commented Jul 11, 2025

Description of Changes

Fix AlgebraicTypeLayout::is_compatible_with.

Change VarLenType::Array to store ArrayType
to make similar such bugs impossible in the future.
Consequence changes are made to hashing and row serialization to make that work.
This should also benefit performance as there's now one fewer Box to look through.

API and ABI breaking changes

None

Expected complexity level and risk

3 - fairly central piece of machinery are touched and there's some unsafe code affected.

Testing

A regression test has been added.

Change `VarLenType::Array` to store `ArrayType`
to make similar such bugs impossible in the future.
@Centril Centril requested review from gefjon and kim July 11, 2025 12:19
Copy link
Copy Markdown
Contributor

@kim kim left a comment

Choose a reason for hiding this comment

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

Change to store the inner type seems reasonable to me.
The patch fixes the reported issue.

@Centril Centril added this pull request to the merge queue Jul 11, 2025
Merged via the queue into master with commit 34201c6 Jul 11, 2025
28 of 31 checks passed
@Centril Centril deleted the centril/fix-is_compatible_with branch July 11, 2025 13:24
mamcx pushed a commit that referenced this pull request Aug 26, 2025
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.

2 participants