Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgau

Add `unreachable_pub`, round 4

A follow-up to #129732.

r? `@Urgau`
This commit is contained in:
bors
2024-09-03 01:27:20 +00:00
363 changed files with 504 additions and 487 deletions

View File

@@ -366,13 +366,13 @@ where
}
}
pub enum Quantifier {
enum Quantifier {
ThereExists,
ForAll,
}
impl Quantifier {
pub fn apply<R, I>(&self, iter: I) -> Answer<R>
fn apply<R, I>(&self, iter: I) -> Answer<R>
where
R: layout::Ref,
I: IntoIterator<Item = Answer<R>>,