Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers #12273

Closed
wants to merge 1 commit into from

Conversation

eric-wieser
Copy link
Member

@eric-wieser eric-wieser commented Feb 24, 2022

There is already a comment on complex.module that indicates an intentional solution to this diamond.


Open in Gitpod

@eric-wieser eric-wieser added awaiting-review The author would like community review of the PR easy < 20s of review time. See the lifecycle page for guidelines. labels Feb 24, 2022
@sgouezel
Copy link
Collaborator

bors r+

@github-actions github-actions bot added ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.) and removed awaiting-review The author would like community review of the PR labels Feb 24, 2022
bors bot pushed a commit that referenced this pull request Feb 24, 2022
…monds on the complex numbers (#12273)

There is already a comment on `complex.module` that indicates an intentional solution to this diamond.
@bors
Copy link

bors bot commented Feb 24, 2022

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers [Merged by Bors] - test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers Feb 24, 2022
@bors bors bot closed this Feb 24, 2022
@bors bors bot deleted the eric-wieser/test-complex-algebra-diamond branch February 24, 2022 16:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
easy < 20s of review time. See the lifecycle page for guidelines. ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants