Skip to content

Conversation

@ecstatic-morse
Copy link
Contributor

@ecstatic-morse ecstatic-morse commented Feb 3, 2020

has_mut_interior_eager_seek was needed to work around an overly restrictive bound on the per_local argument to the Qualif trait. This PR makes that bound FnMut instead of Fn so we can seek cursors inside of it, resolving a FIXME in the const-checking code.

@rust-highfive
Copy link
Contributor

r? @estebank

(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 Feb 3, 2020
@estebank
Copy link
Contributor

estebank commented Feb 3, 2020

@bors r+

@bors
Copy link
Collaborator

bors commented Feb 3, 2020

📌 Commit 21a040e has been approved by estebank

@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 Feb 3, 2020
@bors
Copy link
Collaborator

bors commented Feb 4, 2020

⌛ Testing commit 21a040e with merge bae3d0d...

bors added a commit that referenced this pull request Feb 4, 2020
Always use lazy qualif getters during const-checking

`has_mut_interior_eager_seek` was needed to work around an overly restrictive bound on the `per_local` argument to the `Qualif` trait. This PR makes that bound `FnMut` instead of `Fn` so we can seek cursors inside of it, resolving a FIXME in the const-checking code.
@bors
Copy link
Collaborator

bors commented Feb 4, 2020

☀️ Test successful - checks-azure
Approved by: estebank
Pushing bae3d0d to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 4, 2020
@bors bors merged commit 21a040e into rust-lang:master Feb 4, 2020
@ecstatic-morse ecstatic-morse deleted the qualif-cursor-lazy branch October 6, 2020 01:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants