Skip to content

Conversation

Copy link
Contributor

Copilot AI commented Dec 25, 2025

  • Inspect current frozen module origname handling
  • Implement correct origname population for frozen modules
  • Add targeted tests for frozen module origname
  • Run targeted tests and verify results
  • Fix clippy warnings
Original prompt

This section details on the original issue you should resolve

<issue_title>Add proper origname to frozen module</issue_title>
<issue_description>## Feature

#4559 added __origname__ property but it doesn't contain actual origname.
</issue_description>

<agent_instructions>Correctly implement one. Reference for previous work: f53c686
</agent_instructions>

Comments on the Issue (you are @copilot in this section)


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@coderabbitai
Copy link
Contributor

coderabbitai bot commented Dec 25, 2025

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Comment @coderabbitai help to get the list of available commands and usage tips.

Co-authored-by: youknowone <69878+youknowone@users.noreply.github.com>
Copilot AI changed the title [WIP] Add proper __origname__ to frozen module Add correct __origname__ metadata for frozen modules Dec 25, 2025
Copilot AI requested a review from youknowone December 25, 2025 11:42
@youknowone
Copy link
Member

@copilot fix clippy failures

Co-authored-by: youknowone <69878+youknowone@users.noreply.github.com>
Copy link
Contributor Author

Copilot AI commented Dec 30, 2025

@copilot fix clippy failures

Addressed the clippy warning in core_frozen_inits by returning the mapped iterator directly (commit a40da0c).

@youknowone youknowone marked this pull request as ready for review December 31, 2025 09:27
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.

Add proper __origname__ to frozen module

2 participants