diff options
| author | David Wood <david.wood2@arm.com> | 2025-03-18 03:06:17 +0000 |
|---|---|---|
| committer | David Wood <david.wood2@arm.com> | 2025-04-09 10:42:26 +0000 |
| commit | 72d17bfebbf5463dac1a7eb71c513b151b523e1f (patch) | |
| tree | 48ff8adb8dcaa040619cb11675553b3efe9cd7d4 /tests/ui/codegen | |
| parent | 97c966bb40756903f8aa13995629128d157f6056 (diff) | |
re-use sized fast path
There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this.
Diffstat (limited to 'tests/ui/codegen')
| -rw-r--r-- | tests/ui/codegen/overflow-during-mono.rs | 2 | ||||
| -rw-r--r-- | tests/ui/codegen/overflow-during-mono.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/codegen/overflow-during-mono.rs b/tests/ui/codegen/overflow-during-mono.rs index 83a8b6b3ef6..a9045840173 100644 --- a/tests/ui/codegen/overflow-during-mono.rs +++ b/tests/ui/codegen/overflow-during-mono.rs @@ -1,4 +1,4 @@ -//~ ERROR overflow evaluating the requirement `{closure@$DIR/overflow-during-mono.rs:13:41: 13:44}: Sized` +//~ ERROR overflow evaluating the requirement `for<'a> {closure@$DIR/overflow-during-mono.rs:13:41: 13:44}: FnMut(&'a _)` //@ build-fail #![recursion_limit = "32"] diff --git a/tests/ui/codegen/overflow-during-mono.stderr b/tests/ui/codegen/overflow-during-mono.stderr index f7a3e2df3db..74d98fde285 100644 --- a/tests/ui/codegen/overflow-during-mono.stderr +++ b/tests/ui/codegen/overflow-during-mono.stderr @@ -1,4 +1,4 @@ -error[E0275]: overflow evaluating the requirement `{closure@$DIR/overflow-during-mono.rs:13:41: 13:44}: Sized` +error[E0275]: overflow evaluating the requirement `for<'a> {closure@$DIR/overflow-during-mono.rs:13:41: 13:44}: FnMut(&'a _)` | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "64"]` attribute to your crate (`overflow_during_mono`) = note: required for `Filter<std::array::IntoIter<i32, 11>, {closure@$DIR/overflow-during-mono.rs:13:41: 13:44}>` to implement `Iterator` |