Remove some glob imports from the type system by compiler-errors · Pull Request #142637 · rust-lang/rust (original) (raw)

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 andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation12 Commits2 Checks10 Files changed

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

@compiler-errors

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

@rustbot

r? @WaffleLapkin

rustbot has assigned @WaffleLapkin.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

T-compiler

Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Jun 17, 2025

@rustbot

Some changes occurred in need_type_info.rs

cc @lcnr

@bors

lcnr

RegionInferReason::Param(def) => {
RegionVariableOrigin::RegionParameterDefinition(span, def.name)
}
_ => RegionVariableOrigin::MiscVariable(span),

Choose a reason for hiding this comment

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

given that you're already modifying all uses of this variant, rename it to just Misc in this PR

lcnr

Choose a reason for hiding this comment

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

r? @lcnr

r=me after nit + rebase

@rustbot

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

changes to the core type system

cc @compiler-errors, @lcnr

@rust-log-analyzer

This comment has been minimized.

@compiler-errors

@bors

📌 Commit 9b07e2d has been approved by lcnr

It is now in the queue for this repository.

@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 19, 2025

@bors

@bors bors added S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

and removed S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

labels

Jun 19, 2025

bors added a commit that referenced this pull request

Jun 19, 2025

@bors

Rollup of 3 pull requests

Successful merges:

Failed merges:

r? @ghost @rustbot modify labels: rollup

@compiler-errors

@compiler-errors

@compiler-errors

@bors

📌 Commit c995070 has been approved by lcnr

It is now in the queue for this repository.

@bors bors removed the S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

label

Jun 26, 2025

@bors bors added the S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

label

Jun 26, 2025

samueltardieu added a commit to samueltardieu/rust that referenced this pull request

Jun 26, 2025

@samueltardieu

Remove some glob imports from the type system

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

workingjubilee added a commit to workingjubilee/rustc that referenced this pull request

Jun 26, 2025

@workingjubilee

Remove some glob imports from the type system

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

bors added a commit that referenced this pull request

Jun 26, 2025

@bors

Rollup of 17 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request

Jun 26, 2025

@matthiaskrgr

Remove some glob imports from the type system

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

compiler-errors added a commit to compiler-errors/rust that referenced this pull request

Jun 26, 2025

@compiler-errors

Remove some glob imports from the type system

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

This was referenced

Jun 26, 2025

bors added a commit that referenced this pull request

Jun 27, 2025

@bors

…rors

Rollup of 18 pull requests

Successful merges:

Failed merges:

r? @ghost @rustbot modify labels: rollup

rust-timer added a commit that referenced this pull request

Jun 27, 2025

@rust-timer

Rollup merge of #142637 - compiler-errors:less-globs, r=lcnr

Remove some glob imports from the type system

Namely, remove the glob imports for BoundRegionConversionTime, RegionVariableOrigin, SubregionOrigin, TyOrConstInferVar, RegionResolutionError, SelectionError, ProjectionCandidate, ProjectionCandidateSet, and some more specific scoped globs (like Inserted in the impl overlap graph construction.

These glob imports are IMO very low value, since they're not used nearly as often as other globs (like TyKind).

github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request

Jul 4, 2025

@bors

Labels

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.

WG-trait-system-refactor

The Rustc Trait System Refactor Initiative (-Znext-solver)