diff options
| author | bors <bors@rust-lang.org> | 2025-04-14 19:54:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-04-14 19:54:27 +0000 |
| commit | 2da29dbe8fe23df1c7c4ab1d8740ca3c32b15526 (patch) | |
| tree | 5dbc8160d1ee8024ac2a47ac8932312cd8489560 /compiler/rustc_trait_selection/src/traits/mod.rs | |
| parent | 990039ec53d5bffe0ec77391e00f0e5be05924e8 (diff) | |
| parent | 72d17bfebbf5463dac1a7eb71c513b151b523e1f (diff) | |
| download | rust-2da29dbe8fe23df1c7c4ab1d8740ca3c32b15526.tar.gz rust-2da29dbe8fe23df1c7c4ab1d8740ca3c32b15526.zip | |
Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obk
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 and was found to be beneficial in #137944. r? types
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; |