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 /compiler/rustc_trait_selection/src/traits/mod.rs | |
| parent | 97c966bb40756903f8aa13995629128d157f6056 (diff) | |
| download | rust-72d17bfebbf5463dac1a7eb71c513b151b523e1f.tar.gz rust-72d17bfebbf5463dac1a7eb71c513b151b523e1f.zip | |
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 'compiler/rustc_trait_selection/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/mod.rs b/compiler/rustc_trait_selection/src/traits/mod.rs index de337710b5e..f2713b98f0a 100644 --- a/compiler/rustc_trait_selection/src/traits/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/mod.rs @@ -65,8 +65,8 @@ pub use self::specialize::{ pub use self::structural_normalize::StructurallyNormalizeExt; pub use self::util::{ BoundVarReplacer, PlaceholderReplacer, elaborate, expand_trait_aliases, impl_item_is_final, - supertrait_def_ids, supertraits, transitive_bounds_that_define_assoc_item, upcast_choices, - with_replaced_escaping_bound_vars, + sizedness_fast_path, supertrait_def_ids, supertraits, transitive_bounds_that_define_assoc_item, + upcast_choices, with_replaced_escaping_bound_vars, }; use crate::error_reporting::InferCtxtErrorExt; use crate::infer::outlives::env::OutlivesEnvironment; |
