Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[RFC 2011] Basic compiler infrastructure #97450

Merged
merged 1 commit into from
Jun 2, 2022

Conversation

c410-f3r
Copy link
Contributor

@c410-f3r c410-f3r commented May 27, 2022

Splitting #96496 into smaller pieces as was done in #97233. Hope review will be easier.

This PR practically contains no logic and only serves as a building ground for the actual code that will be placed in a posterior step.

  • Adds context.rs to place the new assert! logic. Has a lot of unused elements but all of them are used by the implementation.
  • Creates an unstable flag because the feature is not yet complete and also to allow external feedback.
  • Creates the necessary sym identifiers that are mostly based on the library elements -> https://github.com/rust-lang/rust/blob/master/library/core/src/asserting.rs
  • Modifies assert.rs to branch to context.rs if the unstable flag is enabled.
  • Adds a test to satisfy tidy but the test does nothing in reality.

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label May 27, 2022
@rust-highfive
Copy link
Collaborator

r? @michaelwoerister

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 27, 2022
@rust-log-analyzer

This comment has been minimized.

Copy link
Contributor

@oli-obk oli-obk left a comment

Choose a reason for hiding this comment

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

Thanks for splitting this up. As a next smaller step, maybe just add binary operations and nothing else?

compiler/rustc_builtin_macros/src/assert/context.rs Outdated Show resolved Hide resolved
compiler/rustc_span/src/symbol.rs Outdated Show resolved Hide resolved
@c410-f3r
Copy link
Contributor Author

c410-f3r commented Jun 2, 2022

Thanks for splitting this up. As a next smaller step, maybe just add binary operations and nothing else?

Done. Thank you for the review

Sure! Next step binary operations will be.

@oli-obk
Copy link
Contributor

oli-obk commented Jun 2, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Jun 2, 2022

📌 Commit aa115eb has been approved by oli-obk

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 2, 2022
@oli-obk
Copy link
Contributor

oli-obk commented Jun 2, 2022

@bors rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request Jun 2, 2022
Rollup of 5 pull requests

Successful merges:

 - rust-lang#97420 (Be a little nicer with casts when formatting `fn` pointers)
 - rust-lang#97450 ([RFC 2011] Basic compiler infrastructure)
 - rust-lang#97599 (Fix JSON reexport ICE)
 - rust-lang#97617 (Rustdoc anonymous reexports)
 - rust-lang#97636 (Revert rust-lang#96682.)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 15bf62b into rust-lang:master Jun 2, 2022
@rustbot rustbot added this to the 1.63.0 milestone Jun 2, 2022
@fmease fmease added the F-generic_assert `#![feature(generic_assert)]` label Apr 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
F-generic_assert `#![feature(generic_assert)]` S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants