Skip to content

[v2] Error when a function has the same name as its contract, library…#1813

Merged
vladimirradosavljevic merged 1 commit into
mainfrom
sdr20
Jun 8, 2026
Merged

[v2] Error when a function has the same name as its contract, library…#1813
vladimirradosavljevic merged 1 commit into
mainfrom
sdr20

Conversation

@vladimirradosavljevic

Copy link
Copy Markdown
Contributor

…, or interface

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot encountered an error: Your billing is not configured or you have Copilot licenses from multiple standalone organizations or enterprises. To use premium requests, select a billing entity via the GitHub site, under Settings > Copilot > Features.

@changeset-bot

changeset-bot Bot commented Jun 1, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: da9c9d1

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

Comment thread crates/solidity-v2/outputs/cargo/semantic/src/passes/tests/binder.rs Outdated
Comment thread crates/solidity-v2/outputs/cargo/semantic/src/passes/tests/typing.rs Outdated
Comment thread crates/solidity-v2/outputs/cargo/slang_solidity/src/compilation/builder.rs Outdated
@vladimirradosavljevic vladimirradosavljevic force-pushed the sdr20 branch 2 times, most recently from 1161e1f to d94ac3b Compare June 3, 2026 09:37
…, or interface

Signed-off-by: Vladimir Radosavljevic <vr@matterlabs.dev>

@OmarTawfik OmarTawfik left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks great! 🚀

@vladimirradosavljevic vladimirradosavljevic added this pull request to the merge queue Jun 8, 2026
Merged via the queue into main with commit 836cf9d Jun 8, 2026
17 checks passed
@vladimirradosavljevic vladimirradosavljevic deleted the sdr20 branch June 8, 2026 09:46
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.

4 participants